Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated Toplevel.proofs;
authorwenzelm
Tue, 16 Oct 2012 16:50:03 +0200
changeset 49864 34437e7245cc
parent 49863 b5fb6e7f8d81
child 49865 eeaf1ec7eac2
updated Toplevel.proofs;
src/Doc/IsarImplementation/Integration.thy file | annotate | diff | comparison | revisions 
--- a/src/Doc/IsarImplementation/Integration.thy	Tue Oct 16 15:14:12 2012 +0200
+++ b/src/Doc/IsarImplementation/Integration.thy	Tue Oct 16 16:50:03 2012 +0200
@@ -154,7 +154,7 @@
   Toplevel.transition -> Toplevel.transition"} \\
   @{index_ML Toplevel.proof: "(Proof.state -> Proof.state) ->
   Toplevel.transition -> Toplevel.transition"} \\
-  @{index_ML Toplevel.proofs: "(Proof.state -> Proof.state Seq.seq) ->
+  @{index_ML Toplevel.proofs: "(Proof.state -> Proof.state Seq.result Seq.seq) ->
   Toplevel.transition -> Toplevel.transition"} \\
   @{index_ML Toplevel.end_proof: "(bool -> Proof.state -> Proof.context) ->
   Toplevel.transition -> Toplevel.transition"} \\
isabelle