| changeset 61918 | 0f9e0106c378 |
| parent 61853 | fb7756087101 |
| child 62134 | 2405ab06d5b1 |
--- a/src/HOL/Eisbach/Eisbach.thy Wed Dec 23 14:40:18 2015 +0100 +++ b/src/HOL/Eisbach/Eisbach.thy Wed Dec 23 16:33:15 2015 +0100 @@ -19,7 +19,6 @@ ML_file "method_closure.ML" ML_file "eisbach_rule_insts.ML" ML_file "match_method.ML" -ML_file "eisbach_antiquotations.ML" method solves methods m = (m; fail)