src/Pure/Isar/constdefs.ML
Tue, 29 Jun 2004 11:18:34 +0200 kleing license change to BSD
Fri, 07 May 2004 20:33:37 +0200 wenzelm be liberal about constant names;
Fri, 23 Apr 2004 20:50:51 +0200 wenzelm improved messages;
Thu, 22 Apr 2004 13:26:47 +0200 wenzelm 'constdefs' with automatic type-inference and structure context;
less more (0) tip