| Mon, 21 Oct 2002 16:57:39 +0200 | berghofe | Changed type of Logic.strip_horn. | changeset | files |
| Fri, 18 Oct 2002 17:50:13 +0200 | paulson | Tidying up. New primitives is_iterates and is_iterates_fm. | changeset | files |
| Fri, 18 Oct 2002 09:53:18 +0200 | nipkow | Mod due to: Added a few thms about UN/INT/{}/UNIV | changeset | files |
| Fri, 18 Oct 2002 09:53:02 +0200 | nipkow | Added a few thms about UN/INT/{}/UNIV | changeset | files |
| Thu, 17 Oct 2002 10:56:00 +0200 | paulson | fixed comments and types | changeset | files |
| 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 |