src/Pure/meta_simplifier.ML
2001-10-22 wenzelm Display.pretty_thms;
2001-10-14 wenzelm tuned rewrite/simplify interface;
2001-10-14 wenzelm tuned;
2001-10-12 berghofe Tuned comment.
2001-10-12 berghofe - Exported goals_conv and fconv_rule
2001-10-04 wenzelm removed obsolete comment;
2001-10-04 wenzelm full_rewrite_cterm_aux (see also tactic.ML);
2001-08-28 nipkow Implemented indentation schema for conditional rewrite trace.
2001-08-23 nipkow Traced depth of conditional rewriting
2001-06-11 berghofe Fixed bug in function rebuild.
2001-05-10 nipkow improved tracing of permutative rules.
2001-05-09 nipkow improved simproc trace IGNORED
2001-01-03 wenzelm Thm: dest_comb, dest_abs, capply, cabs no longer global;
2000-11-07 berghofe Added new file meta_simplifier.ML
less more (0) tip