| Mon, 13 Jan 1997 18:20:35 +0100 | wenzelm | added datatype order; | changeset | files |
| Mon, 13 Jan 1997 13:20:32 +0100 | wenzelm | added -? option; | changeset | files |
| Mon, 13 Jan 1997 09:29:55 +0100 | wenzelm | replaced unit refs by 'stamp'; | changeset | files |
| Fri, 10 Jan 1997 10:27:57 +0100 | wenzelm | cleaned up (real changes next time); | changeset | files |
| Thu, 09 Jan 1997 17:16:50 +0100 | wenzelm | make all Isabelle systems afresh; | changeset | files |
| Thu, 09 Jan 1997 16:44:57 +0100 | wenzelm | *** empty log message *** | changeset | files |
| 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 |