| changeset 14156 | 2072802ab0e3 |
| parent 14085 | 8dc3e532959a |
| child 15019 | acf67fa30998 |
| 14155:0a26b15b42c6 | 14156:2072802ab0e3 |
|---|---|
22 use "FOL_lemmas1.ML" |
22 use "FOL_lemmas1.ML" |
23 theorems case_split = case_split_thm [case_names True False, cases type: o] |
23 theorems case_split = case_split_thm [case_names True False, cases type: o] |
24 |
24 |
25 use "cladata.ML" |
25 use "cladata.ML" |
26 setup Cla.setup |
26 setup Cla.setup |
27 setup clasetup |
27 setup cla_setup |
28 setup case_setup |
|
28 |
29 |
29 use "blastdata.ML" |
30 use "blastdata.ML" |
30 setup Blast.setup |
31 setup Blast.setup |
31 |
32 |
32 |
33 |