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.
qualified point.more;
authorwenzelm
Fri, 21 Dec 2001 23:18:46 +0100
changeset 12591 5a46569d2b05
parent 12590 3573830e9b91
child 12592 0eb1685a00b4
qualified point.more;
src/HOL/ex/Records.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/Records.thy	Fri Dec 21 23:18:27 2001 +0100
+++ b/src/HOL/ex/Records.thy	Fri Dec 21 23:18:46 2001 +0100
@@ -98,7 +98,7 @@
 lemma "r = (| xpos = xpos r, ypos = ypos r |)"
   by simp
 
-lemma "r = (| xpos = xpos r, ypos = ypos r, ... = more r |)"
+lemma "r = (| xpos = xpos r, ypos = ypos r, ... = point.more r |)"
   by simp
isabelle