src/Cube/CC.thy
author wenzelm
Sat, 23 Dec 2000 22:51:34 +0100
changeset 10735 dfaf75f0076f
parent 4583 6d9be46ea566
permissions -rw-r--r--
simplified quick_and_dirty stuff; tuned;


CC = L2 + LP + Lomega