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.
swapped class projection order
authorhaftmann
Tue, 24 Jul 2007 15:20:52 +0200
changeset 23954 bc85c552e82f
parent 23953 f7eedf3d09a3
child 23955 f1ba12c117ec
swapped class projection order
src/Pure/Tools/codegen_names.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/codegen_names.ML	Tue Jul 24 15:20:51 2007 +0200
+++ b/src/Pure/Tools/codegen_names.ML	Tue Jul 24 15:20:52 2007 +0200
@@ -204,7 +204,8 @@
 
 fun class_policy thy = default_policy thy NameSpace.base thyname_of_class;
 fun classrel_policy thy = default_policy thy (fn (class1, class2) => 
-  NameSpace.base class1 ^ "_" ^ NameSpace.base class2) thyname_of_classrel;
+  NameSpace.base class2 ^ "_" ^ NameSpace.base class1) thyname_of_classrel;
+  (*order fits nicely with composed projections*)
 fun tyco_policy thy = default_policy thy NameSpace.base thyname_of_tyco;
 fun instance_policy thy = default_policy thy (fn (class, tyco) => 
   NameSpace.base class ^ "_" ^ NameSpace.base tyco) thyname_of_instance;
isabelle