src/HOL/Import/import_syntax.ML
2011-07-20 Cezary Kaliszyk 2011-07-20 HOL/Import reorganization/cleaning. Factor 9 speedup. Remove Import XML parser in favor of much faster of Isabelle's XML parser. Remove ImportRecording since we can use Isabelle images.
2011-07-13 Cezary Kaliszyk 2011-07-13 HOL/Import for HOLLight revival: Proper theory headers, update generation scripts to SVN version of HOL Light, add some constant maps and compatibility theorems
2011-01-12 wenzelm 2011-01-12 more FIXMEs concerning bad catch-all exception handlers;
2010-11-13 wenzelm 2010-11-13 total Symbol.source;
2010-08-27 wenzelm 2010-08-27 eliminated unnecessary ref;
2010-05-28 wenzelm 2010-05-28 made SML/NJ quite happy;
2010-05-17 wenzelm 2010-05-17 prefer structure Keyword, Parse, Parse_Spec, Outer_Syntax; eliminated old-style structure aliases K = Keyword, P = Parse;
2010-05-17 wenzelm 2010-05-17 renamed structure OuterLex to Token and type token to Token.T, keeping legacy aliases for some time; eliminated slightly odd alias structure T;
2009-10-29 wenzelm 2009-10-29 standardized filter/filter_out;
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2008-08-12 wenzelm 2008-08-12 Symbol.source/OuterLex.source: more explicit do_recover argument;
2008-08-07 wenzelm 2008-08-07 Position.start;
2008-06-25 wenzelm 2008-06-25 moved global keywords from OuterSyntax to OuterKeyword, tuned interfaces;
2007-10-06 wenzelm 2007-10-06 simplified interfaces for outer syntax;
2007-09-25 wenzelm 2007-09-25 proper Sign operations instead of Theory aliases;
2007-09-25 wenzelm 2007-09-25 Syntax.parse/check/read;
2007-09-15 wenzelm 2007-09-15 removed redundant OuterLex.make_lexicon;
2007-07-09 wenzelm 2007-07-09 adapted OuterLex/T.source;
2007-04-14 wenzelm 2007-04-14 cleaned/simplified Sign.read_typ, Thm.read_cterm etc.;
2007-04-04 wenzelm 2007-04-04 removed obsolete sign_of/sign_of_thm;
2006-02-15 obua 2006-02-15 fixed bugs, added caching
2005-09-26 obua 2005-09-26 fixed disambiguation problem
2005-09-13 wenzelm 2005-09-13 global quick_and_dirty;
2005-08-16 wenzelm 2005-08-16 OuterKeyword;
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-04-19 skalberg 2004-04-19 Forgot a couple of checks for the quick_and_dirty flag the other day.
2004-04-17 skalberg 2004-04-17 Minor cleanup of headers and some speedup of the HOL4 import.
2004-04-04 skalberg 2004-04-04 Added a number of explicit type casts and delayed evaluations (all seemingly needless) so that SML/NJ 110.9.1 would accept the importer...
2004-04-02 skalberg 2004-04-02 Added HOL proof importer.