src/Pure/Thy/scan.ML
Wed, 05 Jan 1994 19:29:51 +0100 nipkow added lexical class of type variables
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip