wenzelm [Mon, 04 Oct 1999 21:47:16 +0200] rev 7706
IntArith;
wenzelm [Mon, 04 Oct 1999 21:46:49 +0200] rev 7705
Tools/typedef_package.ML;
wenzelm [Mon, 04 Oct 1999 21:46:13 +0200] rev 7704
eliminated ap/app;
wenzelm [Mon, 04 Oct 1999 21:45:10 +0200] rev 7703
proper dependencies of all theories and packages;
wenzelm [Mon, 04 Oct 1999 21:44:28 +0200] rev 7702
removed DatatypePackage.setup;
wenzelm [Mon, 04 Oct 1999 21:44:07 +0200] rev 7701
load / setup recdef package (TFL);
wenzelm [Mon, 04 Oct 1999 21:43:45 +0200] rev 7700
load / setup datatype package;
wenzelm [Mon, 04 Oct 1999 21:43:05 +0200] rev 7699
removed TFL/sys.sml;
removed Integ/simproc.ML, Integ/bin_simprocs.ML;
added Integ/IntArith.ML, Integ/IntArith.thy;
wenzelm [Mon, 04 Oct 1999 21:41:19 +0200] rev 7698
obsolete;
wenzelm [Mon, 04 Oct 1999 21:41:09 +0200] rev 7697
renamed 'prefix' to 'prfx' (avoids clash with infix);