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.
added FROOT
authorChristian Urban <urbanc@in.tum.de>
Fri, 03 Feb 2012 15:47:47 +0000
changeset 3116 6968fd7507de
parent 3113 f4112721a4b9
child 3117 bd602eb894ab
added FROOT
Nominal/FROOT.ML file | annotate | diff | comparison | revisions 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Nominal/FROOT.ML	Fri Feb 03 15:47:47 2012 +0000
@@ -0,0 +1,10 @@
+
+
+no_document use_thys
+   ["Nominal2",
+    "Atoms",
+    "Eqvt"
+   ];
+
+
+
nominal2