| changeset 24178 | 4ff1dc2aa18d |
| parent 18176 | ae9bd644d106 |
| child 26956 | 1309a6a0a29f |
| 24177:9229d09363c0 | 24178:4ff1dc2aa18d |
|---|---|
8 |
8 |
9 theory Sequents |
9 theory Sequents |
10 imports Pure |
10 imports Pure |
11 uses ("prover.ML") |
11 uses ("prover.ML") |
12 begin |
12 begin |
13 |
|
14 declare [[unify_trace_bound = 20, unify_search_bound = 40]] |
|
13 |
15 |
14 global |
16 global |
15 |
17 |
16 typedecl o |
18 typedecl o |
17 |
19 |