Thu, 05 Sep 1996 10:23:55 +0200 | paulson | Added miniscoping to the simplifier: quantifiers are now pushed in | changeset | files |
Tue, 03 Sep 1996 19:07:23 +0200 | paulson | Fixed pretty-printing of {|...|} | changeset | files |
Tue, 03 Sep 1996 19:07:00 +0200 | paulson | New theorems for Fake case | changeset | files |
Tue, 03 Sep 1996 19:06:00 +0200 | paulson | A further tidying | changeset | files |
Tue, 03 Sep 1996 18:30:15 +0200 | paulson | ROOT file for Auth directory | changeset | files |
Tue, 03 Sep 1996 18:24:42 +0200 | paulson | Renaming and simplification | changeset | files |
Tue, 03 Sep 1996 17:54:39 +0200 | paulson | Renaming and simplification | changeset | files |