| Wed, 26 Oct 1994 17:41:40 +0100 | nipkow | removed superfluous type_intrs in datatype com. | file | diff | annotate |
| Mon, 24 Oct 1994 10:34:28 +0100 | lcp | HOL,ZF/IMP/Com.thy: tightening precedences to eliminate syntactic ambiguities. | file | diff | annotate |
| Mon, 15 Aug 1994 16:12:35 +0200 | nipkow | Proof beautification | file | diff | annotate |
| Fri, 12 Aug 1994 11:13:23 +0200 | lcp | addition of string escapes | file | diff | annotate |
| Fri, 12 Aug 1994 10:20:07 +0200 | lcp | re-organized using new theory sections | file | diff | annotate |
| Thu, 21 Jul 1994 14:27:00 +0200 | nipkow | Initial revision | file | diff | annotate |