renamed meson-test.ML to mesontest.ML,
authorclasohm
Tue, 09 Nov 1993 13:30:13 +0100
changeset 15 25ec61ee621c
parent 14 9b0142dad559
child 16 187b73f64023
renamed meson-test.ML to mesontest.ML, used exact theory names for use_thy
ex/ROOT.ML
--- a/ex/ROOT.ML	Tue Nov 09 11:08:13 1993 +0100
+++ b/ex/ROOT.ML	Tue Nov 09 13:30:13 1993 +0100
@@ -12,13 +12,13 @@
 proof_timing := true;
 time_use     "ex/cla.ML";
 time_use     "ex/meson.ML";
-time_use     "ex/meson-test.ML";
-time_use_thy "ex/lexprod";
-time_use_thy "ex/puzzle";
+time_use     "ex/mesontest.ML";
+time_use_thy "ex/LexProd";
+time_use_thy "ex/Puzzle";
 time_use     "ex/set.ML";
-time_use_thy "ex/finite";
-time_use_thy "ex/pl";
-time_use_thy "ex/term";
-time_use_thy "ex/simult";
-time_use_thy "ex/mt";
+time_use_thy "ex/Finite";
+time_use_thy "ex/PL";
+time_use_thy "ex/Term";
+time_use_thy "ex/Simult";
+time_use_thy "ex/MT";
 maketest     "END: Root file for HOL examples";