| Thu, 24 Nov 1994 20:31:09 +0100 | nipkow | rules -> defs | file | diff | annotate |
| Fri, 19 Aug 1994 11:10:56 +0200 | lcp | HOL/subset.thy, equalities.thy, mono.thy: new | file | diff | annotate |
| Thu, 16 Sep 1993 12:21:07 +0200 | clasohm | Initial revision | file | diff | annotate |