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/more_thm.ML
changeset 67721 5348bea4accd
parent 67698 67caf783b9ee
child 67725 e6cd1fd4eb19 
--- a/src/Pure/more_thm.ML	Sun Feb 25 12:59:08 2018 +0100
+++ b/src/Pure/more_thm.ML	Sun Feb 25 15:44:46 2018 +0100
@@ -350,7 +350,7 @@
 (** basic derived rules **)
 
 (*Elimination of implication
-  A    A ==> B
+  A    A \<Longrightarrow> B
   ------------
         B
 *)
isabelle