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