Mercurial Mercurial > hg > nominal2 / 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.
whitespace
authorChristian Urban <urbanc@in.tum.de>
Wed, 23 Jun 2010 15:21:04 +0100
changeset 2329 df3a952c6a67
parent 2324 9038c9549073
child 2330 8728f7990f6d
whitespace
Nominal/Lift.thy file | annotate | diff | comparison | revisions 
--- a/Nominal/Lift.thy	Wed Jun 23 06:54:48 2010 +0100
+++ b/Nominal/Lift.thy	Wed Jun 23 15:21:04 2010 +0100
@@ -5,7 +5,6 @@
         "Abs" "Perm" "Rsp"
 begin
 
-
 ML {*
 fun define_quotient_types binds tys alphas equivps ctxt =
 let
nominal2