| 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 |