equal
deleted
inserted
replaced
|
1 open OldGoals; |
1 |
2 |
2 val trace_mc = ref false; |
3 val trace_mc = ref false; |
3 |
4 |
4 |
5 |
5 (* transform_case post-processes output strings of the syntax "Mucke" *) |
6 (* transform_case post-processes output strings of the syntax "Mucke" *) |