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.
changed to include new subdirs ex and Modelcheck;
authormueller
Thu, 22 Apr 1999 11:05:48 +0200
changeset 6469 bafd705ee38e
parent 6468 a7b1669f5365
child 6470 f3015fd68d66
changed to include new subdirs ex and Modelcheck;
src/HOLCF/IOA/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/HOLCF/IOA/ROOT.ML	Thu Apr 22 11:02:46 1999 +0200
+++ b/src/HOLCF/IOA/ROOT.ML	Thu Apr 22 11:05:48 1999 +0200
@@ -12,7 +12,6 @@
 add_path "meta_theory";
 
 use_thy "Abstraction";
-use_thy "TrivEx";
-use_thy "TrivEx2";
 
-reset_path ();
+use"~/isabelle/src/HOLCF/IOA/meta_theory/ioa_package.ML";
+use"~/isabelle/src/HOLCF/IOA/meta_theory/ioa_syn.ML";
isabelle