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 |