src/Sequents/simpdata.ML
2005-09-18 wenzelm 2005-09-18 converted to Isar theory format;
2002-01-12 wenzelm 2002-01-12 renamed forall_elim_vars_safe to gen_all;
2002-01-11 wenzelm 2002-01-11 replace gen_all by forall_elim_vars_safe;
2000-08-29 wenzelm 2000-08-29 cong setup now part of Simplifier;
2000-07-06 paulson 2000-07-06 removal of batch style, and tidying
1999-09-21 nipkow 1999-09-21 Mod because of new solver interface.
1999-07-28 paulson 1999-07-28 congruence rule for |-, etc.
1999-07-27 paulson 1999-07-27 installation of simplifier and classical reasoner, better rules etc