src/HOLCF/IOA/ROOT.ML
changeset 4563 6b9a8e956af9
parent 3071 981258186b71
child 4816 64f075872f69
--- a/src/HOLCF/IOA/ROOT.ML	Mon Jan 12 17:51:05 1998 +0100
+++ b/src/HOLCF/IOA/ROOT.ML	Mon Jan 12 17:51:32 1998 +0100
@@ -16,3 +16,6 @@
 loadpath := ["meta_theory"];
 
 use_thy"IOA";
+use_thy"Abstraction";
+use_thy"TrivEx";
+use_thy"TrivEx2";
\ No newline at end of file