src/HOL/Isar_examples/ROOT.ML

--- a/src/HOL/Isar_examples/ROOT.ML	Fri Oct 08 15:08:47 1999 +0200
+++ b/src/HOL/Isar_examples/ROOT.ML	Fri Oct 08 15:09:14 1999 +0200
@@ -6,8 +6,8 @@
 *)
 
 time_use_thy "BasicLogic";
+time_use_thy "Cantor";
 time_use_thy "Peirce";
-time_use_thy "Cantor";
 time_use_thy "ExprCompiler";
 time_use_thy "Group";
 time_use_thy "Summation";