Tue, 28 Aug 2001 14:25:26 +0200 | nipkow | Implemented indentation schema for conditional rewrite trace. | file | diff | annotate |
Thu, 23 Aug 2001 14:32:48 +0200 | nipkow | Traced depth of conditional rewriting | file | diff | annotate |
Mon, 11 Jun 2001 19:21:13 +0200 | berghofe | Fixed bug in function rebuild. | file | diff | annotate |
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 |