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.
quotient_def.ML
changeset 325 3d7a3a141922
parent 324 bdbb52979790
child 329 5d06e1dba69a 
--- a/quotient_def.ML	Sat Nov 21 10:58:08 2009 +0100
+++ b/quotient_def.ML	Sat Nov 21 11:16:48 2009 +0100
@@ -147,7 +147,6 @@
   quotdef ((bind, qty, mx), (attr, prop)) lthy |> snd
 end
 
-
 val quotdef_parser =
   (OuterParse.binding --
     (OuterParse.$$$ "::" |-- OuterParse.!!! (OuterParse.typ --
nominal2