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.
misspelled name
authorkuncar
Mon, 21 Nov 2011 18:07:13 +0100
changeset 45609 2c0c8ce96f4a
parent 45608 13b101cee425
child 45610 11095c312709
misspelled name
src/HOL/Quotient_Examples/Lift_Set.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Quotient_Examples/Lift_Set.thy	Sun Nov 20 21:28:07 2011 +0100
+++ b/src/HOL/Quotient_Examples/Lift_Set.thy	Mon Nov 21 18:07:13 2011 +0100
@@ -1,5 +1,5 @@
 (*  Title:      HOL/Quotient_Examples/Lift_Set.thy
-    Author:     Lukas Bulwahn and Ondrey Kuncar
+    Author:     Lukas Bulwahn and Ondrej Kuncar
 *)
 
 header {* Example of lifting definitions with the quotient infrastructure *}
isabelle