src/Pure/name.ML
2008-12-05 haftmann 2008-12-05 Name.name_of -> Binding.base_name
2008-12-04 haftmann 2008-12-04 cleaned up binding module and related code
2008-12-01 haftmann 2008-12-01 new Binding module
2008-11-20 haftmann 2008-11-20 dropped legacy naming code
2008-11-20 haftmann 2008-11-20 name spaces and name bindings
2008-11-17 haftmann 2008-11-17 Name.name_with_prefix (temporarily)
2008-11-14 haftmann 2008-11-14 namify and name_decl combinators
2008-11-13 haftmann 2008-11-13 diagnostic output for name bindings
2008-11-10 haftmann 2008-11-10 explicit interpretation prefix in Name.binding
2008-09-03 wenzelm 2008-09-03 added qualified: string -> binding -> binding;
2008-09-02 wenzelm 2008-09-02 added type binding -- generic name bindings;
2007-10-04 wenzelm 2007-10-04 added uu, aT;
2006-11-28 wenzelm 2006-11-28 simplified '?' operator;
2006-07-25 wenzelm 2006-07-25 tuned;
2006-07-25 haftmann 2006-07-25 renamed Name.give_names to Name.names and moved Name.alphanum to Symbol.alphanum
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.).