changeset 58976 | b38a54bbfbd6 |
parent 58889 | 5b7a9633cfa8 |
child 58977 | 9576b510f6a2 |
--- a/src/CCL/Term.thy Tue Nov 11 13:44:09 2014 +0100 +++ b/src/CCL/Term.thy Tue Nov 11 13:50:56 2014 +0100 @@ -91,7 +91,6 @@ val (x',a') = Syntax_Trans.variant_abs(x,T,a3) in Const(@{syntax_const "_letrec3"},dummyT) $ Free(f',SS) $ Free(x',T) $ Free(y',U) $ Free(z',V) $ a' $ b' end; - *} parse_translation {*