updated Toplevel.proofs;
authorwenzelm
Tue Oct 16 16:50:03 2012 +0200 (2012-10-16)
changeset 4986434437e7245cc
parent 49863 b5fb6e7f8d81
child 49865 eeaf1ec7eac2
updated Toplevel.proofs;
src/Doc/IsarImplementation/Integration.thy
     1.1 --- a/src/Doc/IsarImplementation/Integration.thy	Tue Oct 16 15:14:12 2012 +0200
     1.2 +++ b/src/Doc/IsarImplementation/Integration.thy	Tue Oct 16 16:50:03 2012 +0200
     1.3 @@ -154,7 +154,7 @@
     1.4    Toplevel.transition -> Toplevel.transition"} \\
     1.5    @{index_ML Toplevel.proof: "(Proof.state -> Proof.state) ->
     1.6    Toplevel.transition -> Toplevel.transition"} \\
     1.7 -  @{index_ML Toplevel.proofs: "(Proof.state -> Proof.state Seq.seq) ->
     1.8 +  @{index_ML Toplevel.proofs: "(Proof.state -> Proof.state Seq.result Seq.seq) ->
     1.9    Toplevel.transition -> Toplevel.transition"} \\
    1.10    @{index_ML Toplevel.end_proof: "(bool -> Proof.state -> Proof.context) ->
    1.11    Toplevel.transition -> Toplevel.transition"} \\