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.
unclosed comment.
authornipkow
Thu, 10 Jun 1999 16:46:59 +0200
changeset 6816 4267539284be
parent 6815 de4d358bf01e
child 6817 a42849eeb674
unclosed comment.
src/HOL/Hoare/Examples.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Hoare/Examples.ML	Thu Jun 10 12:36:19 1999 +0200
+++ b/src/HOL/Hoare/Examples.ML	Thu Jun 10 16:46:59 1999 +0200
@@ -75,7 +75,7 @@
 
 (** Square root **)
 
-(* the easy way: *
+(* the easy way: *)
 
 Goal "|- VARS x r. \
 \ {u = 1 & w = 1 & r = 0} \
isabelle