| 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 |
| Tue, 10 Sep 2002 16:47:17 +0200 | paulson | tweaks | changeset | files |
| Mon, 09 Sep 2002 17:28:29 +0200 | nipkow | *** empty log message *** | changeset | files |
| Mon, 09 Sep 2002 17:07:12 +0200 | nipkow | bug in counter example finder | changeset | files |
| Sat, 07 Sep 2002 22:04:28 +0200 | paulson | conversion of ZF/Integ/{Int,Bin} to Isar scripts | changeset | files |
| Thu, 05 Sep 2002 14:03:03 +0200 | paulson | added checking so that (rename_tac "x y") is rejected, since | changeset | files |