Fri, 04 Mar 2005 23:23:47 +0100 | huffman | fix headers | file | diff | annotate |
Fri, 04 Mar 2005 23:12:36 +0100 | huffman | converted to new-style theories, and combined numbered files | file | diff | annotate |
Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
Fri, 11 Jul 2003 13:54:26 +0200 | oheimb | corrected markup text | file | diff | annotate |
Sat, 01 Dec 2001 18:52:32 +0100 | wenzelm | renamed class "term" to "type" (actually "HOL.type"); | file | diff | annotate |
Sat, 03 Nov 2001 01:38:11 +0100 | wenzelm | rep_datatype lift; | file | diff | annotate |
Mon, 17 Feb 1997 10:57:11 +0100 | slotosch | Changes of HOLCF from Oscar Slotosch: | file | diff | annotate |