diff options
| -rw-r--r-- | etc/isar/trace_simp.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/isar/trace_simp.thy b/etc/isar/trace_simp.thy index 06458a84..1f56cb35 100644 --- a/etc/isar/trace_simp.thy +++ b/etc/isar/trace_simp.thy @@ -6,7 +6,7 @@ text {* this produces massive amount of simplifier trace, but terminates eventually: *} -ML {* set trace_simp *} +ML {* Config.put trace_simp true *} ML {* reset quick_and_dirty *} datatype ord = Zero | Succ ord | Limit "nat => ord" |