Sat, 08 Aug 1998 14:00:56 +0200 | nipkow | List now contains some lexicographic orderings. | changeset | files |
Thu, 06 Aug 1998 18:21:14 +0200 | wenzelm | added store_tthm; | changeset | files |
Thu, 06 Aug 1998 17:51:03 +0200 | berghofe | Improved well-formedness check. | changeset | files |
Thu, 06 Aug 1998 15:48:13 +0200 | paulson | even more tidying of Goal commands | changeset | files |
Thu, 06 Aug 1998 15:47:26 +0200 | paulson | A higher-level treatment of LeadsTo, minimizing use of "reachable" | changeset | files |
Thu, 06 Aug 1998 14:04:49 +0200 | nipkow | Simplified proof!! | changeset | files |
Thu, 06 Aug 1998 12:52:03 +0200 | nipkow | *** empty log message *** | changeset | files |
Thu, 06 Aug 1998 12:48:21 +0200 | nipkow | Lemma renamed in HOL. | changeset | files |