Wed, 24 May 2006 01:04:57 +0200 simplified info/get_info;
wenzelm [Wed, 24 May 2006 01:04:57 +0200] rev 19705
simplified info/get_info; Rep/Abs: Theory.add_deps; tuned;
Wed, 24 May 2006 01:04:55 +0200 simplified TypedefPackage.get_info;
wenzelm [Wed, 24 May 2006 01:04:55 +0200] rev 19704
simplified TypedefPackage.get_info;
Tue, 23 May 2006 14:00:06 +0200 made smlnj happy;
wenzelm [Tue, 23 May 2006 14:00:06 +0200] rev 19703
made smlnj happy;
Tue, 23 May 2006 13:55:02 +0200 pretty_full_theory: tuned output of definitions;
wenzelm [Tue, 23 May 2006 13:55:02 +0200] rev 19702
pretty_full_theory: tuned output of definitions;
Tue, 23 May 2006 13:55:01 +0200 export plain_args;
wenzelm [Tue, 23 May 2006 13:55:01 +0200] rev 19701
export plain_args; tuned wellformed, normalize;
Mon, 22 May 2006 22:29:19 +0200 Defs.specifications_of: lhs/rhs now use typargs;
wenzelm [Mon, 22 May 2006 22:29:19 +0200] rev 19700
Defs.specifications_of: lhs/rhs now use typargs;
Mon, 22 May 2006 22:29:18 +0200 removed unchecked'';
wenzelm [Mon, 22 May 2006 22:29:18 +0200] rev 19699
removed unchecked'';
Mon, 22 May 2006 22:29:16 +0200 pretty_full_theory: defs;
wenzelm [Mon, 22 May 2006 22:29:16 +0200] rev 19698
pretty_full_theory: defs;
Mon, 22 May 2006 22:29:15 +0200 specifications_of: lhs/rhs represented as typargs;
wenzelm [Mon, 22 May 2006 22:29:15 +0200] rev 19697
specifications_of: lhs/rhs represented as typargs; export pretty_const; export dest; more precise checking of lhs patterns; more precise normalization; misc cleanup;
Mon, 22 May 2006 21:27:01 +0200 export raw_unifys, could_unifys;
wenzelm [Mon, 22 May 2006 21:27:01 +0200] rev 19696
export raw_unifys, could_unifys;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip