src/HOL/Import/import_syntax.ML
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.