next_block: reset_facts;
authorwenzelm
Sat Apr 15 15:01:31 2000 +0200 (2000-04-15)
changeset 87183ba75b7e1168
parent 8717 20c42415c07d
child 8719 8ffa2c825fd7
next_block: reset_facts;
src/Pure/Isar/proof.ML
     1.1 --- a/src/Pure/Isar/proof.ML	Sat Apr 15 15:00:57 2000 +0200
     1.2 +++ b/src/Pure/Isar/proof.ML	Sat Apr 15 15:01:31 2000 +0200
     1.3 @@ -703,7 +703,8 @@
     1.4    state
     1.5    |> assert_forward
     1.6    |> close_block
     1.7 -  |> new_block;
     1.8 +  |> new_block
     1.9 +  |> reset_facts;
    1.10  
    1.11  
    1.12  end;