src/Pure/name.ML
Tue, 28 Nov 2006 00:35:18 +0100 wenzelm simplified '?' operator;
Tue, 25 Jul 2006 21:18:05 +0200 wenzelm tuned;
Tue, 25 Jul 2006 16:51:26 +0200 haftmann renamed Name.give_names to Name.names and moved Name.alphanum to Symbol.alphanum
Fri, 21 Jul 2006 14:45:25 +0200 haftmann added give_names and alphanum
Wed, 19 Jul 2006 12:12:01 +0200 wenzelm export make_context, is_declared;
Thu, 13 Jul 2006 13:41:57 +0200 wenzelm do not export make_context;
Wed, 12 Jul 2006 00:34:54 +0200 wenzelm variants: special treatment of empty name;
Tue, 11 Jul 2006 23:00:36 +0200 wenzelm clean: no special treatment of empty name;
Tue, 11 Jul 2006 12:17:17 +0200 wenzelm Names of basic logical entities (variables etc.).
less more (0) tip