Mercurial Mercurial > hg > nominal2 / 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.
QuotMain.thy
changeset 297 28b264299590
parent 293 653460d3e849
child 300 c6a9b4e4d548 
--- a/QuotMain.thy	Fri Nov 06 11:02:11 2009 +0100
+++ b/QuotMain.thy	Fri Nov 06 19:26:08 2009 +0100
@@ -5,6 +5,7 @@
      ("quotient_def.ML")
 begin
 
+
 locale QUOT_TYPE =
   fixes R :: "'a \<Rightarrow> 'a \<Rightarrow> bool"
   and   Abs :: "('a \<Rightarrow> bool) \<Rightarrow> 'b"
nominal2