Thu, 08 Nov 2007 14:51:31 +0100 | renamed ProofContext.read_const' to ProofContext.read_const_proper; | file | diff | annotate |
Wed, 07 Nov 2007 22:20:13 +0100 | ProofContext.read_const'; | file | diff | annotate |
Fri, 26 Oct 2007 19:58:32 +0200 | replaced Secure.evaluate by ML_Context.evaluate; | file | diff | annotate |
Mon, 22 Oct 2007 15:24:55 +0200 | added @{sort}, @{type_syntax} antiquotations; | file | diff | annotate |
Mon, 24 Sep 2007 21:07:40 +0200 | added @{type_name}; | file | diff | annotate |
Sun, 23 Sep 2007 22:23:37 +0200 | tuned @{cpat}; | file | diff | annotate |
Sat, 15 Sep 2007 19:26:06 +0200 | tuned comments; | file | diff | annotate |
Fri, 14 Sep 2007 17:02:34 +0200 | moved ML_XXX.ML files to Pure/ML; | file | diff | annotate |