src/Cube/ROOT.ML
changeset 17453 eccff680177d
parent 17252 e352f65d5893
child 24106 f2965bf954dc
--- a/src/Cube/ROOT.ML	Sat Sep 17 12:18:08 2005 +0200
+++ b/src/Cube/ROOT.ML	Sat Sep 17 12:50:57 2005 +0200
@@ -10,3 +10,4 @@
 writeln banner;
 
 use_thy "Cube";
+use_thy "Example";