--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Cube/Lomega2.thy Thu Apr 19 15:42:53 2001 +0200 @@ -0,0 +1,2 @@ + +Lomega2 = L2 + Lomega