| Wed, 25 Sep 2002 07:55:56 +0200 | nipkow | became int.ML | changeset | files |
| Wed, 25 Sep 2002 07:54:33 +0200 | nipkow | conversion to Isar | changeset | files |
| Wed, 25 Sep 2002 07:52:07 +0200 | nipkow | converted to Isar | changeset | files |
| Wed, 25 Sep 2002 07:42:24 +0200 | nipkow | added nat_split | changeset | files |
| Sat, 21 Sep 2002 21:10:34 +0200 | paulson | converted to Isar script | changeset | files |
| Fri, 20 Sep 2002 11:49:38 +0200 | paulson | shortened a proof | changeset | files |
| Fri, 20 Sep 2002 11:49:06 +0200 | paulson | got rid of deepen_tac | changeset | files |
| Fri, 20 Sep 2002 11:48:35 +0200 | paulson | less use of x-symbols | changeset | files |
| Thu, 19 Sep 2002 16:09:16 +0200 | nipkow | *** empty log message *** | changeset | files |
| Thu, 19 Sep 2002 16:01:29 +0200 | nipkow | drule: added nRS | changeset | files |
| Thu, 19 Sep 2002 16:00:27 +0200 | nipkow | preserve names of rewrite rules when transforming them | changeset | files |
| Wed, 18 Sep 2002 18:19:43 +0200 | kleing | comments + usage | changeset | files |
| Wed, 11 Sep 2002 16:55:37 +0200 | paulson | Streamlined proofs of instances of Separation | changeset | files |
| Wed, 11 Sep 2002 16:53:59 +0200 | paulson | Bound variable preservation in Collect_cong | changeset | files |
| Tue, 10 Sep 2002 16:51:31 +0200 | paulson | renamed M_triv_axioms to M_trivial and M_axioms to M_basic | changeset | files |