wenzelm [Wed, 03 Jan 2001 21:25:23 +0100] rev 10775
added recdef_tc(_i);
wenzelm [Wed, 03 Jan 2001 21:24:29 +0100] rev 10774
recdef_tc;
wenzelm [Wed, 03 Jan 2001 21:23:50 +0100] rev 10773
renamed .sml files to .ML;
tuned package setup;
wenzelm [Wed, 03 Jan 2001 21:23:13 +0100] rev 10772
TFL: renamed .sml to .ML;
wenzelm [Wed, 03 Jan 2001 21:22:37 +0100] rev 10771
added 'recdef_tc' command;
wenzelm [Wed, 03 Jan 2001 21:21:28 +0100] rev 10770
* Isar/HOL: added 'recdef_tc' command;
wenzelm [Wed, 03 Jan 2001 21:20:40 +0100] rev 10769
renamed .sml files to .ML;
proper handling of Isabelle exceptions;
tuned;
wenzelm [Wed, 03 Jan 2001 21:19:08 +0100] rev 10768
tuned;
wenzelm [Wed, 03 Jan 2001 21:18:31 +0100] rev 10767
Thm: dest_comb, dest_abs, capply, cabs no longer global;
paulson [Wed, 03 Jan 2001 11:14:48 +0100] rev 10766
removal of the nat_cancel_factor simproc