| Wed, 03 Jan 2001 21:21:28 +0100 | wenzelm | * Isar/HOL: added 'recdef_tc' command; | changeset | files |
| Wed, 03 Jan 2001 21:20:40 +0100 | wenzelm | renamed .sml files to .ML; | changeset | files |
| Wed, 03 Jan 2001 21:19:08 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 03 Jan 2001 21:18:31 +0100 | wenzelm | Thm: dest_comb, dest_abs, capply, cabs no longer global; | changeset | files |
| Wed, 03 Jan 2001 11:14:48 +0100 | paulson | removal of the nat_cancel_factor simproc | changeset | files |
| Wed, 03 Jan 2001 11:13:51 +0100 | paulson | Types chapter now uses HOL-Real | changeset | files |
| Wed, 03 Jan 2001 11:13:13 +0100 | paulson | some HOL-Real material | changeset | files |