changeset 24178 | 4ff1dc2aa18d |
parent 24106 | f2965bf954dc |
child 35762 | af3ff2ba4c54 |
24177:9229d09363c0 | 24178:4ff1dc2aa18d |
---|---|
4 Copyright 1991 University of Cambridge |
4 Copyright 1991 University of Cambridge |
5 |
5 |
6 Classical Sequent Calculus based on Pure Isabelle. |
6 Classical Sequent Calculus based on Pure Isabelle. |
7 *) |
7 *) |
8 |
8 |
9 Unify.trace_bound:= 20; |
|
10 Unify.search_bound := 40; |
|
11 |
|
12 use_thys ["LK", "ILL", "ILL_predlog", "Washing", "Modal0", "T", "S4", "S43"]; |
9 use_thys ["LK", "ILL", "ILL_predlog", "Washing", "Modal0", "T", "S4", "S43"]; |