Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!samsung!munnari.oz.au!sendai!dnk
From: dnk@sendai.cs.mu.OZ.AU (David Kinny)
Newsgroups: comp.theory
Subject: Re: "occur check"
Summary: Definitely not the origin of "occur check"
Keywords: unification, terminology
Message-ID: <3225@munnari.oz.au>
Date: 22 Feb 90 10:02:38 GMT
References: <2901@goanna.oz.au>
Sender: news@cs.mu.oz.au
Lines: 4


Jean-Louis Lassez used to pronounce this as "ocker check".
It took me half a lecture to realise that this wasn't just another
Gallic joke aimed at his Australian audience.