src/HOLCF/Tools/fixrec_package.ML
2009-03-08 wenzelm 2009-03-08 moved basic algebra of long names from structure NameSpace to Long_Name;
2009-03-05 wenzelm 2009-03-05 renamed NameSpace.base to NameSpace.base_name; renamed NameSpace.map_base to NameSpace.map_base_name; eliminated alias Sign.base_name = NameSpace.base_name;
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-03 wenzelm 2009-03-03 renamed Binding.name_pos to Binding.make, renamed Binding.base_name to Binding.name_of, renamed Binding.map_base to Binding.map_name, added mandatory flag to Binding.qualify; minor tuning;
2009-03-03 wenzelm 2009-03-03 Thm.binding;
2009-02-27 huffman 2009-02-27 fixrec package uses new-style syntax and local-theory interface
2009-02-27 huffman 2009-02-27 add function taken_names
2009-02-26 huffman 2009-02-26 avoid using legacy type inference
2009-02-26 huffman 2009-02-26 use TheoryData to keep track of pattern match combinators
2009-01-21 haftmann 2009-01-21 binding replaces bstring
2009-01-21 haftmann 2009-01-21 binding is alias for Binding.T
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-09-02 wenzelm 2008-09-02 type Attrib.binding abbreviates Name.binding without attributes; Attrib.no_binding refers to Name.no_binding;
2008-09-02 wenzelm 2008-09-02 explicit type Name.binding for higher-specification elements;
2008-07-29 haftmann 2008-07-29 PureThy: dropped note_thmss_qualified, dropped _i suffix
2008-05-18 wenzelm 2008-05-18 moved global pretty/string_of functions from Sign to Syntax;
2008-03-20 wenzelm 2008-03-20 simplified get_thm(s): back to plain name argument;
2008-03-19 wenzelm 2008-03-19 renamed datatype thmref to Facts.ref, tuned interfaces;
2008-02-06 huffman 2008-02-06 use ML antiquotations
2007-12-06 haftmann 2007-12-06 added new primrec package
2007-10-21 wenzelm 2007-10-21 removed obsolete ML bindings;
2007-10-06 wenzelm 2007-10-06 simplified interfaces for outer syntax;
2007-09-25 wenzelm 2007-09-25 Syntax.parse/check/read;
2007-09-23 wenzelm 2007-09-23 TypeInfer.constrain: canonical argument order;
2007-08-30 wenzelm 2007-08-30 replaced ProofContext.infer_types by general Syntax.check_terms;
2007-07-11 berghofe 2007-07-11 Function unify_consts moved from OldInductivePackage to PrimrecPackage.
2007-05-31 wenzelm 2007-05-31 moved HOLCF tools to canonical place;