equal
deleted
inserted
replaced
28 "~~/src/Tools/random_word.ML" |
28 "~~/src/Tools/random_word.ML" |
29 "~~/src/Tools/atomize_elim.ML" |
29 "~~/src/Tools/atomize_elim.ML" |
30 "~~/src/Tools/induct.ML" |
30 "~~/src/Tools/induct.ML" |
31 ("~~/src/Tools/induct_tacs.ML") |
31 ("~~/src/Tools/induct_tacs.ML") |
32 ("Tools/recfun_codegen.ML") |
32 ("Tools/recfun_codegen.ML") |
|
33 "Tools/try.ML" |
33 begin |
34 begin |
34 |
35 |
35 setup {* Intuitionistic.method_setup @{binding iprover} *} |
36 setup {* Intuitionistic.method_setup @{binding iprover} *} |
36 |
37 |
37 |
38 |