src/HOL/Import/import_syntax.ML
Thu, 29 Oct 2009 17:58:26 +0100 wenzelm standardized filter/filter_out;
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Tue, 29 Sep 2009 16:24:36 +0200 wenzelm explicit indication of Unsynchronized.ref;
Tue, 12 Aug 2008 21:27:48 +0200 wenzelm Symbol.source/OuterLex.source: more explicit do_recover argument;
Thu, 07 Aug 2008 19:21:37 +0200 wenzelm Position.start;
Wed, 25 Jun 2008 17:38:32 +0200 wenzelm moved global keywords from OuterSyntax to OuterKeyword, tuned interfaces;
Sat, 06 Oct 2007 16:50:04 +0200 wenzelm simplified interfaces for outer syntax;
Tue, 25 Sep 2007 17:06:14 +0200 wenzelm proper Sign operations instead of Theory aliases;
Tue, 25 Sep 2007 13:28:37 +0200 wenzelm Syntax.parse/check/read;
Sat, 15 Sep 2007 19:25:19 +0200 wenzelm removed redundant OuterLex.make_lexicon;
Mon, 09 Jul 2007 23:12:44 +0200 wenzelm adapted OuterLex/T.source;
Sat, 14 Apr 2007 17:35:52 +0200 wenzelm cleaned/simplified Sign.read_typ, Thm.read_cterm etc.;
Wed, 04 Apr 2007 00:11:03 +0200 wenzelm removed obsolete sign_of/sign_of_thm;
Wed, 15 Feb 2006 23:57:06 +0100 obua fixed bugs, added caching
Mon, 26 Sep 2005 02:27:14 +0200 obua fixed disambiguation problem
Tue, 13 Sep 2005 22:21:06 +0200 wenzelm global quick_and_dirty;
Tue, 16 Aug 2005 13:42:26 +0200 wenzelm OuterKeyword;
Thu, 03 Mar 2005 12:43:01 +0100 skalberg Move towards standard functions.
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Mon, 19 Apr 2004 10:57:26 +0200 skalberg Forgot a couple of checks for the quick_and_dirty flag the other day.
Sat, 17 Apr 2004 23:53:35 +0200 skalberg Minor cleanup of headers and some speedup of the HOL4 import.
Sun, 04 Apr 2004 15:34:14 +0200 skalberg Added a number of explicit type casts and delayed evaluations (all seemingly
Fri, 02 Apr 2004 17:37:45 +0200 skalberg Added HOL proof importer.
less more (0) tip