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.
ROOT
changeset 3194 6454435d689b
child 3196 ca6ca6fc28af 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ROOT	Mon Aug 06 13:50:19 2012 +0100
@@ -0,0 +1,44 @@
+session Nominal2! in "Nominal" = HOL +
+  options [document = false]
+  theories
+    "Nominal2"
+    "Atoms"
+    "Eqvt"
+
+session Tests! in "Nominal" = Nominal2 +
+  options [document = false]
+  theories
+    "Ex/Weakening"
+    "Ex/Classical"
+    "Ex/Datatypes"
+    "Ex/Ex1"
+    "Ex/ExPS3"
+    "Ex/Multi_Recs"
+    "Ex/Multi_Recs2"
+    "Ex/LF"
+    "Ex/Lambda"
+    (*"Ex/Let",*)
+    "Ex/LetPat"
+    "Ex/LetRec"
+    "Ex/LetRec2"
+    "Ex/LetFun"
+    "Ex/Modules"
+    "Ex/SingleLet"
+    "Ex/Shallow"
+    "Ex/SystemFOmega"
+    "Ex/TypeSchemes1"
+    "Ex/TypeSchemes2"
+    "Ex/TypeVarsTest"
+    "Ex/Foo1"
+    "Ex/Foo2"
+    "Ex/CoreHaskell"
+    "Ex/CoreHaskell2"
+    "Ex/Pi"
+
+(*
+quick_and_dirty := true;
+
+no_document use_thys
+   ["Ex/Let"];
+*)
+
nominal2