src/Cube/LPomega.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;


LPomega = LP + Lomega