Thu, 10 Sep 1998 17:34:43 +0200 | paulson | well-formed asym rules | changeset | files |
Thu, 10 Sep 1998 17:34:01 +0200 | paulson | new file AC/WO1_WO7.thy | changeset | files |
Thu, 10 Sep 1998 17:33:09 +0200 | paulson | Allows more backtracking in proof reconstruction, making it slower but more | changeset | files |