Mercurial Mercurial > hg > tm / 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.
Paper/ROOT.ML
changeset 61 7edbd5657702
parent 55 cd4ef33c8fb1
child 63 35fe8fe12e65 
--- a/Paper/ROOT.ML	Sun Jan 20 16:01:16 2013 +0000
+++ b/Paper/ROOT.ML	Tue Jan 22 14:38:56 2013 +0000
@@ -1,7 +1,9 @@
 no_document 
-use_thys ["../thys/turing_basic", 
+use_thys ["../thys/turing_basic"(*, 
           "../thys/turing_hoare",
-          "../thys/uncomputable"(*, 
-          "../thys/abacus"*)];
+          "../thys/uncomputable", 
+          "../thys/abacus",
+          "../thys/rec_def",
+          "../thys/recursive"*)];
 
 use_thys ["Paper"]
tm