Thu, 17 Oct 2002 10:54:11 +0200 | paulson | Cosmetic changes suggested by writing the paper. Deleted some | changeset | files |
Thu, 17 Oct 2002 10:52:59 +0200 | paulson | fixing the cut_tac method to work when there are no instantiations and the | changeset | files |
Tue, 15 Oct 2002 15:37:57 +0200 | kleing | alternative syntax | changeset | files |