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 |