changeset 62391 | 1658fc9b2618 |
parent 59787 | 6e2a20486897 |
child 62581 | fc5198b44314 |
--- a/src/HOL/Tools/Predicate_Compile/predicate_compile_specialisation.ML Tue Feb 23 16:25:08 2016 +0100 +++ b/src/HOL/Tools/Predicate_Compile/predicate_compile_specialisation.ML Tue Feb 23 16:41:14 2016 +0100 @@ -209,4 +209,4 @@ fold_map specialise' specs thy end -end \ No newline at end of file +end