--- a/src/Pure/Isar/specification.ML Thu Nov 03 22:15:47 2011 +0100
+++ b/src/Pure/Isar/specification.ML Thu Nov 03 22:23:41 2011 +0100
@@ -308,7 +308,7 @@
val (propp, elems_ctxt) = prep_stmt elems (map snd shows) ctxt;
val prems = Assumption.local_prems_of elems_ctxt ctxt;
val stmt = Attrib.map_specs prep_att (map fst shows ~~ propp);
- val goal_ctxt = fold (fold (Variable.auto_fixes o fst)) propp elems_ctxt;
+ val goal_ctxt = (fold o fold) (Variable.auto_fixes o fst) propp elems_ctxt;
in ((prems, stmt, NONE), goal_ctxt) end
| Element.Obtains obtains =>
let