2007-10-19 ago clarified abbreviations in class context
2007-10-19 ago Interpretation equations may have name and/or attribute.
2007-10-18 ago improved class syntax
2007-10-17 ago removed obsolete fork_mixfix (back to theory_target.ML);
2007-10-16 ago global class syntax
2007-10-16 ago Syntax.(un)check: explicit result option;
2007-10-15 ago canonical interpretation interface
2007-10-14 ago added is_class;
2007-10-13 ago (un)overload: full rewrite;
2007-10-12 ago fork_mixfix: explicit bool argument;
2007-10-12 ago tuned
2007-10-11 ago dest/cert_def: replaced Pretty.pp by explicit Proof.context;
2007-10-11 ago replaced Sign.add_consts_authentic by Sign.declare_const;
2007-10-10 ago generalized notation interface (add or del);
2007-10-09 ago renamed AxClass.get_definition to AxClass.get_info (again);
2007-10-09 ago generic Syntax.pretty/string_of operations;
2007-10-08 ago added proper subclass concept; improved class target
2007-10-08 ago added first version of user-space type system for class target
2007-10-04 ago replaced AxClass.param_tyvarname by Name.aT;
2007-10-04 ago intermediate cleanup
2007-09-30 ago Sign.add_consts_authentic: tags ( list);
2007-09-29 ago Sign.add_const_constraint;
2007-09-29 ago proper syntax during class specification
2007-09-26 ago Sign.minimize/complete_sort;
2007-09-25 ago Syntax.parse/check/read;
2007-09-25 ago no cleverness for instance parameters
2007-09-20 ago fixed wrong syntax treatment in class target
2007-09-15 ago clarified class interfaces and internals
2007-08-27 ago introduces params_of_sort
2007-08-24 ago overloaded definitions accompanied by explicit constants
2007-08-17 ago explicit constants for overloaded definitions
2007-08-14 ago Syntax.global_read_sort;
2007-08-10 ago ClassPackage renamed to Class