changeset 30980 | fe0855471964 |
parent 30973 | 304ab57afa6e |
30979:10eb446df3c7 | 30980:fe0855471964 |
---|---|
12 use "pgip_output.ML"; |
12 use "pgip_output.ML"; |
13 use "pgip.ML"; |
13 use "pgip.ML"; |
14 |
14 |
15 use "pgip_isabelle.ML"; |
15 use "pgip_isabelle.ML"; |
16 |
16 |
17 (use |
17 use "preferences.ML"; |
18 |> setmp Proofterm.proofs 1 |
|
19 |> setmp quick_and_dirty true |
|
20 |> setmp Quickcheck.auto true |
|
21 |> setmp auto_solve true) "preferences.ML"; |
|
22 |
18 |
23 use "pgip_parser.ML"; |
19 use "pgip_parser.ML"; |
24 |
20 |
25 use "pgip_tests.ML"; |
21 use "pgip_tests.ML"; |
26 |
22 |