Wed, 08 Aug 2001 14:50:28 +0200 | paulson | Getting it working again with 1' instead of 1 | changeset | files |
Wed, 08 Aug 2001 14:33:10 +0200 | paulson | new ZF/UNITY theory | changeset | files |
Wed, 08 Aug 2001 14:16:42 +0200 | wenzelm | *** empty log message *** | changeset | files |
Wed, 08 Aug 2001 14:12:36 +0200 | oheimb | changed to full expressions with side effects | changeset | files |
Wed, 08 Aug 2001 12:36:48 +0200 | oheimb | changed to full expressions with side effects | changeset | files |
Tue, 07 Aug 2001 22:42:22 +0200 | wenzelm | tuned; | changeset | files |