| 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 |