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/HOL/Quotient_Examples/Lift_Set.thy
changeset 45576 6ea2bba2694a
parent 45536 5b0b1dc2e40f
child 45609 2c0c8ce96f4a 
--- a/src/HOL/Quotient_Examples/Lift_Set.thy	Fri Nov 18 11:47:12 2011 +0100
+++ b/src/HOL/Quotient_Examples/Lift_Set.thy	Fri Nov 18 13:42:07 2011 +0100
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Quotient.thy
+(*  Title:      HOL/Quotient_Examples/Lift_Set.thy
     Author:     Lukas Bulwahn and Ondrey Kuncar
 *)
isabelle