src/Pure/Isar/proof.ML
changeset 8670 d69616c74211
parent 8617 33e2bd53aec3
child 8718 3ba75b7e1168
     1.1 --- a/src/Pure/Isar/proof.ML	Wed Apr 05 21:01:59 2000 +0200
     1.2 +++ b/src/Pure/Isar/proof.ML	Wed Apr 05 21:02:19 2000 +0200
     1.3 @@ -703,7 +703,6 @@
     1.4    state
     1.5    |> assert_forward
     1.6    |> close_block
     1.7 -(*  |> assert_current_goal true  *)  (* FIXME !? *)
     1.8    |> new_block;
     1.9  
    1.10