src/HOL/Modelcheck/mucke_oracle.ML
2005-06-28 paulson 2005-06-28 Constant "If" is now local
2005-06-20 wenzelm 2005-06-20 get_thm(s): Name;
2005-06-17 wenzelm 2005-06-17 replaced obsolete theory_of_sign by theory_of_thm;
2005-06-05 wenzelm 2005-06-05 File.shell_path;
2005-05-31 wenzelm 2005-05-31 no_tac;
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.
2005-01-24 berghofe 2005-01-24 Adapted to modified interface of PureThy.get_thm(s).
2004-06-21 wenzelm 2004-06-21 File.quote_sysify_path;
2004-06-20 wenzelm 2004-06-20 got rid of Output.output for default print mode;
2004-05-29 wenzelm 2004-05-29 Output.output;
1999-08-20 wenzelm 1999-08-20 mucke -res;
1999-08-19 wenzelm 1999-08-19 quite a lot of tuning an cleanup;
1999-04-22 wenzelm 1999-04-22 fixed IO;
1999-04-22 mueller 1999-04-22 added for mucke translation;