| changeset 51332 | 8707df0b0255 |
| parent 51318 | e6524a89c9e3 |
| child 51383 | 50fb0f35a14f |
--- a/src/Pure/Isar/proof.ML Mon Mar 04 11:36:16 2013 +0100 +++ b/src/Pure/Isar/proof.ML Mon Mar 04 15:03:46 2013 +0100 @@ -1191,7 +1191,7 @@ in fun local_future_terminal_proof meths = - future_terminal_proof 2 + future_terminal_proof 3 (local_terminal_proof meths) (local_terminal_proof meths #> context_of) local_done_proof;