tuned comment;
authorwenzelm
Wed Apr 05 21:02:19 2000 +0200 (2000-04-05)
changeset 8670d69616c74211
parent 8669 3ccb29fb26ef
child 8671 6ce91a80f616
tuned comment;
src/Pure/Isar/proof.ML
     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