| Fri, 12 Aug 1994 10:57:55 +0200 | lcp | Pure/library/enclose, Pure/Syntax/pretty/enclose: renamed from parents | changeset | files |
| Fri, 12 Aug 1994 10:20:07 +0200 | lcp | re-organized using new theory sections | changeset | files |
| Mon, 08 Aug 1994 16:45:08 +0200 | nipkow | Simplified some proofs. Added some type assumptions to the introduction rules. | changeset | files |