equal
deleted
inserted
replaced
7 generated by Geoff Sutcliffe's TPTP2X tool from the original THF0 files. |
7 generated by Geoff Sutcliffe's TPTP2X tool from the original THF0 files. |
8 *) |
8 *) |
9 |
9 |
10 theory CASC_Setup |
10 theory CASC_Setup |
11 imports Complex_Main |
11 imports Complex_Main |
12 uses "../ex/sledgehammer_tactics.ML" |
12 uses "sledgehammer_tactics.ML" |
13 begin |
13 begin |
14 |
14 |
15 consts |
15 consts |
16 is_int :: "'a \<Rightarrow> bool" |
16 is_int :: "'a \<Rightarrow> bool" |
17 is_rat :: "'a \<Rightarrow> bool" |
17 is_rat :: "'a \<Rightarrow> bool" |