src/HOL/Bali/ROOT.ML
changeset 12854 00d4a435777f
child 12859 f63315dfffd4
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/Bali/ROOT.ML	Mon Jan 28 17:00:19 2002 +0100
@@ -0,0 +1,13 @@
+
+use_thy "WellForm";
+
+(*The dynamic part of Bali, including type-safety*)
+use_thy "Evaln";
+use_thy "Example"; 
+use_thy "TypeSafe";
+(*###use_thy "Trans";*)
+
+(*The Hoare logic for Bali*)
+use_thy "AxExample";
+use_thy "AxSound";
+use_thy "AxCompl";