src/HOL/Import/replay.ML
2010-03-19 wenzelm 2010-03-19 typedef etc.: no constraints;
2010-03-13 wenzelm 2010-03-13 global typedef;
2009-10-21 wenzelm 2009-10-21 standardized basic operations on type option;
2009-10-17 wenzelm 2009-10-17 operations of structure Skip_Proof (formerly SkipProof) no longer require quick_and_dirty mode;
2009-10-17 wenzelm 2009-10-17 indicate CRITICAL nature of various setmp combinators;
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2009-06-19 haftmann 2009-06-19 discontinued ancient tradition to suffix certain ML module names with "_package"
2009-03-07 wenzelm 2009-03-07 minimal adaptions for abstract binding type;
2009-01-21 haftmann 2009-01-21 binding replaces bstring
2008-10-22 haftmann 2008-10-22 tuned typedef interface
2008-07-29 haftmann 2008-07-29 PureThy: dropped note_thmss_qualified, dropped _i suffix
2007-09-25 wenzelm 2007-09-25 proper Sign operations instead of Theory aliases;
2007-05-31 wenzelm 2007-05-31 TextIO.inputLine: use present SML B library version;
2006-10-20 haftmann 2006-10-20 slight cleanup
2006-04-06 haftmann 2006-04-06 cleanup in typedef/datatype package
2006-03-07 obua 2006-03-07 Added HOL-ZF to Isabelle.
2006-02-16 obua 2006-02-16 cache improvements
2006-02-16 obua 2006-02-16 variable counter is now also cached
2006-02-15 obua 2006-02-15 fixed bugs, added caching
2005-10-21 wenzelm 2005-10-21 OldGoals;
2005-09-23 obua 2005-09-23 replay type_introduction fix
2005-09-23 obua 2005-09-23 add debug messages
2005-09-16 obua 2005-09-16 fixed HOL-light/Isabelle syntax incompatability via more protect_xxx functions
2005-09-12 obua 2005-09-12 Added HOLLight support to importer.
2005-03-04 skalberg 2005-03-04 Removed practically all references to Library.foldr.
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-04-17 skalberg 2004-04-17 Minor cleanup of headers and some speedup of the HOL4 import.
2004-04-02 skalberg 2004-04-02 Added HOL proof importer.