| changeset 1298 | 488593372568 |
| parent 99 | df0cd0fecf86 |
| child 1352 | 2e29baa12ae7 |
| 1297:7ac266cf82d0 | 1298:488593372568 |
|---|---|
13 proof_timing := true; |
13 proof_timing := true; |
14 time_use "ex/prop.ML"; |
14 time_use "ex/prop.ML"; |
15 time_use "ex/quant.ML"; |
15 time_use "ex/quant.ML"; |
16 time_use "ex/hardquant.ML"; |
16 time_use "ex/hardquant.ML"; |
17 |
17 |
18 make_chart (); (*make HTML chart*) |
|
19 |
|
18 maketest"END: Root file for LK examples"; |
20 maketest"END: Root file for LK examples"; |