| Thu, 05 Sep 1996 18:29:43 +0200 | paulson | Added thin_tac to signature; previous change was useless | changeset | files |
| Thu, 05 Sep 1996 18:28:54 +0200 | paulson | Some renaming. Note that this miniscoping is more | changeset | files |
| Thu, 05 Sep 1996 18:28:01 +0200 | paulson | Introduction of miniscoping for FOL | changeset | files |
| Thu, 05 Sep 1996 10:30:42 +0200 | paulson | Pretty-printing change to emphasize the scope of assumptions | changeset | files |
| Thu, 05 Sep 1996 10:29:52 +0200 | paulson | Declared thin_tac | changeset | files |
| Thu, 05 Sep 1996 10:29:20 +0200 | paulson | Miniscoping rules are deleted, as these brittle proofs | changeset | files |
| Thu, 05 Sep 1996 10:27:36 +0200 | paulson | Simplified some proofs for compatibility with miniscoping | changeset | files |