equal
deleted
inserted
replaced
13 use "pgip_output.ML"; |
13 use "pgip_output.ML"; |
14 use "pgip.ML"; |
14 use "pgip.ML"; |
15 |
15 |
16 use "pgip_isabelle.ML"; |
16 use "pgip_isabelle.ML"; |
17 use "pgml_isabelle.ML"; |
17 use "pgml_isabelle.ML"; |
18 (use |> setmp Proofterm.proofs 1 |> setmp quick_and_dirty true) "preferences.ML"; |
18 |
|
19 (use |
|
20 |> setmp Proofterm.proofs 1 |
|
21 |> setmp quick_and_dirty true |
|
22 |> setmp auto_quickcheck true) "preferences.ML"; |
|
23 |
19 use "pgip_parser.ML"; |
24 use "pgip_parser.ML"; |
20 |
25 |
21 use "pgip_tests.ML"; |
26 use "pgip_tests.ML"; |
22 |
27 |
23 use "proof_general_pgip.ML"; |
28 use "proof_general_pgip.ML"; |