Sun, 30 Apr 2006 22:50:11 +0200 wenzelm tuned;
Sun, 30 Apr 2006 22:50:10 +0200 wenzelm AxClass.define_class;
Sun, 30 Apr 2006 22:50:09 +0200 wenzelm build classes/arities: refer to operations in sorts.ML;
Sun, 30 Apr 2006 22:50:08 +0200 wenzelm moved certify_class/sort to type.ML;
Sun, 30 Apr 2006 22:50:07 +0200 wenzelm removed add_classes/classrel/arities (superceded by AxClass.axiomatize_class/classrel/arity);
Sun, 30 Apr 2006 22:50:06 +0200 wenzelm added serial_string;
Sun, 30 Apr 2006 22:50:05 +0200 wenzelm renamed add_axclass(_i) to define_axclass(_i);
Sun, 30 Apr 2006 22:50:03 +0200 wenzelm AxClass.axiomatize_arity_i;
Sun, 30 Apr 2006 22:50:01 +0200 wenzelm AxClass.define_class_i;
Sun, 30 Apr 2006 22:49:59 +0200 wenzelm * Pure: axclasses now purely definitional;
Sat, 29 Apr 2006 23:16:49 +0200 wenzelm reduced code duplication;
Sat, 29 Apr 2006 23:16:48 +0200 wenzelm added insert_list;
Sat, 29 Apr 2006 23:16:47 +0200 wenzelm added unconstrainT;
Sat, 29 Apr 2006 23:16:46 +0200 wenzelm added unconstrainTs;
Sat, 29 Apr 2006 23:16:45 +0200 wenzelm instances data: mutable cache;
Sat, 29 Apr 2006 23:16:43 +0200 wenzelm tuned;
(0) -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 +10000 +30000 tip