| Thu, 09 Jan 1997 16:01:34 +0100 | wenzelm | IsaMakefile for ZF; | changeset | files |
| Thu, 09 Jan 1997 10:23:39 +0100 | paulson | Tidying of proofs. New theorems are enterred immediately into the | changeset | files |
| Thu, 09 Jan 1997 10:22:42 +0100 | paulson | New theorem add_leE | changeset | files |
| Thu, 09 Jan 1997 10:22:11 +0100 | paulson | New treatment of nonce creation | changeset | files |
| Thu, 09 Jan 1997 10:20:03 +0100 | paulson | Removal of needless "addIs [equality]", etc. | changeset | files |
| Wed, 08 Jan 1997 15:17:25 +0100 | paulson | New discussion of implicit simpsets & clasets | changeset | files |
| Wed, 08 Jan 1997 15:12:44 +0100 | wenzelm | IsaMakefile for HOLCF; | changeset | files |
| Wed, 08 Jan 1997 15:04:27 +0100 | paulson | Removal of sum_cs and eq_cs | changeset | files |
| Wed, 08 Jan 1997 15:03:53 +0100 | wenzelm | IsaMakefile for Sequents; | changeset | files |
| Wed, 08 Jan 1997 14:58:39 +0100 | wenzelm | IsaMakefile for CTT; | changeset | files |
| Wed, 08 Jan 1997 14:49:46 +0100 | wenzelm | IsaMakefile for FOLP; | changeset | files |
| Wed, 08 Jan 1997 14:44:24 +0100 | wenzelm | IsaMakefile for CCL; | changeset | files |