src/Pure/name.ML
2006-07-21 haftmann 2006-07-21 added give_names and alphanum
2006-07-19 wenzelm 2006-07-19 export make_context, is_declared;
2006-07-13 wenzelm 2006-07-13 do not export make_context; initial context: declare empty names; variants: no special treatment of empty names;
2006-07-12 wenzelm 2006-07-12 variants: special treatment of empty name;
2006-07-11 wenzelm 2006-07-11 clean: no special treatment of empty name; declare, invent: clean arguments;
2006-07-11 wenzelm 2006-07-11 Names of basic logical entities (variables etc.).