tuned whitespace;

--- a/src/Pure/Isar/subgoal.ML	Thu Sep 09 12:33:14 2021 +0200
+++ b/src/Pure/Isar/subgoal.ML	Thu Sep 09 13:47:29 2021 +0200
@@ -95,9 +95,7 @@
     fun var_inst v y =
       let
         val ((x, i), T) = v;
-        val (U, args) =
-          if Vars.defined concl_vars v then (T, [])
-          else (Ts ---> T, ts);
+        val (U, args) = if Vars.defined concl_vars v then (T, []) else (Ts ---> T, ts);
         val u = Free (y, U);
         in ((Var v, list_comb (u, args)), (u, Var ((x, i + idx), U))) end;
     val (inst1, inst2) =