Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/drule.ML
changeset 7467 71e5d8671e7b
parent 7404 e488cf3da60a
child 7636 102a4b6b83a6 
--- a/src/Pure/drule.ML	Sat Sep 04 20:57:32 1999 +0200
+++ b/src/Pure/drule.ML	Sat Sep 04 20:59:33 1999 +0200
@@ -521,7 +521,7 @@
                    def
     in  equal_elim def' th
     end
-    handle THM _ => err th | bind => err th
+    handle THM _ => err th | Bind => err th
 in
 val flexpair_intr = flexpair_inst (symmetric ProtoPure.flexpair_def)
 and flexpair_elim = flexpair_inst ProtoPure.flexpair_def
isabelle