--- a/src/Cube/Cube.thy Thu Apr 19 13:36:07 2001 +0200
+++ b/src/Cube/Cube.thy Thu Apr 19 15:42:53 2001 +0200
@@ -1,3 +1,3 @@
-Cube = Base + L2 + Lomega + LP + LP2 + LOmega + LPomega + CC
+Cube = Base + L2 + Lomega + LP + LP2 + Lomega2 + LPomega + CC