| Tue, 04 Oct 1994 13:00:20 +0100 | clasohm | changed precedences to eliminate some ambiguities | file | diff | annotate |
| Mon, 22 Aug 1994 12:00:02 +0200 | lcp | HOL/ex/MT.thy: now mentions dependence upon Sum.thy | file | diff | annotate |
| Thu, 17 Mar 1994 11:27:29 +0100 | clasohm | adapted type definition to new syntax | file | diff | annotate |
| Tue, 09 Nov 1993 11:08:13 +0100 | lcp | co-induction example courtesy Jacob Frost | file | diff | annotate |