| Thu, 10 May 2001 17:28:40 +0200 | nipkow | improved tracing of permutative rules. | file | diff | annotate |
| Wed, 09 May 2001 23:09:26 +0200 | nipkow | improved simproc trace IGNORED | file | diff | annotate |
| Wed, 03 Jan 2001 21:18:31 +0100 | wenzelm | Thm: dest_comb, dest_abs, capply, cabs no longer global; | file | diff | annotate |
| Tue, 07 Nov 2000 17:44:48 +0100 | berghofe | Added new file meta_simplifier.ML | file | diff | annotate |