src/Pure/Isar/class.ML
2007-10-08 haftmann 2007-10-08 added proper subclass concept; improved class target
2007-10-08 haftmann 2007-10-08 added first version of user-space type system for class target
2007-10-04 wenzelm 2007-10-04 replaced AxClass.param_tyvarname by Name.aT;
2007-10-04 haftmann 2007-10-04 intermediate cleanup
2007-09-30 wenzelm 2007-09-30 Sign.add_consts_authentic: tags (Markup.property list);
2007-09-29 wenzelm 2007-09-29 Sign.add_const_constraint; Syntax.add_typ/term_check: added stage and name argument;
2007-09-29 haftmann 2007-09-29 proper syntax during class specification
2007-09-26 wenzelm 2007-09-26 Sign.minimize/complete_sort;
2007-09-25 wenzelm 2007-09-25 Syntax.parse/check/read;
2007-09-25 haftmann 2007-09-25 no cleverness for instance parameters
2007-09-20 haftmann 2007-09-20 fixed wrong syntax treatment in class target
2007-09-15 haftmann 2007-09-15 clarified class interfaces and internals
2007-08-27 haftmann 2007-08-27 introduces params_of_sort
2007-08-24 haftmann 2007-08-24 overloaded definitions accompanied by explicit constants
2007-08-17 haftmann 2007-08-17 explicit constants for overloaded definitions
2007-08-14 wenzelm 2007-08-14 Syntax.global_read_sort;
2007-08-10 haftmann 2007-08-10 ClassPackage renamed to Class