Mon, 07 May 2007 00:49:59 +0200 | wenzelm | simplified DataFun interfaces; | file | diff | annotate |
Fri, 19 Jan 2007 22:08:08 +0100 | wenzelm | moved parts of OuterParse to SpecParse; | file | diff | annotate |
Mon, 18 Dec 2006 08:21:35 +0100 | haftmann | switched argument order in *.syntax lifters | file | diff | annotate |
Thu, 16 Nov 2006 01:07:25 +0100 | wenzelm | moved some fundamental concepts to General/basics.ML; | file | diff | annotate |
Tue, 14 Nov 2006 00:15:38 +0100 | wenzelm | incorporated IsarThy into IsarCmd; | file | diff | annotate |
Tue, 31 Oct 2006 09:29:06 +0100 | haftmann | fixed type signature of Type.varify | file | diff | annotate |
Fri, 13 Oct 2006 18:24:02 +0200 | berghofe | Old version of inductive definition package (for sets). | file | diff | annotate |