| Mon, 21 Oct 2002 17:00:45 +0200 | berghofe | Now applies standard' to "unfold" theorem (due to flex-flex constraints). | changeset | files |
| 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 |