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.
Nominal/Perm.thy
changeset 2302 c6db12ddb60c
parent 2300 9fb315392493
child 2305 93ab397f5980 
--- a/Nominal/Perm.thy	Wed May 26 15:37:56 2010 +0200
+++ b/Nominal/Perm.thy	Thu May 27 18:37:52 2010 +0200
@@ -2,10 +2,12 @@
 imports 
   "../Nominal-General/Nominal2_Base"
   "../Nominal-General/Nominal2_Atoms" 
-  "Nominal2_FSet" "Abs"
-uses ("nominal_dt_rawperm.ML")
+  "../Nominal-General/Nominal2_Eqvt" 
+  "Nominal2_FSet"
+  "Abs"
+(*uses ("nominal_dt_rawperm.ML")
      ("nominal_dt_rawfuns.ML")
-     ("nominal_dt_alpha.ML")
+     ("nominal_dt_alpha.ML")*)
 begin
 
 use "nominal_dt_rawperm.ML"
nominal2