| Wed, 18 Aug 1999 16:05:27 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 18 Aug 1999 16:04:00 +0200 | wenzelm | replaced 'ProofGeneral' by 'Proof General'; | changeset | files |
| Wed, 18 Aug 1999 15:40:45 +0200 | berghofe | Modified section about generation of theory browsing information. | changeset | files |
| Wed, 18 Aug 1999 12:23:10 +0200 | paulson | new version from Konrad with "lazy" (deferred) definitons | changeset | files |
| Wed, 18 Aug 1999 11:49:46 +0200 | paulson | tidied some proofs | changeset | files |
| Wed, 18 Aug 1999 10:54:44 +0200 | paulson | new primitive rule permute_prems to underlie defer_tac and rotate_prems | changeset | files |
| Wed, 18 Aug 1999 10:54:03 +0200 | paulson | freeze_thaw does nothing if no variables | changeset | files |
| Wed, 18 Aug 1999 10:27:57 +0200 | nipkow | Added take_all and drop_all to simpset. | changeset | files |