src/Cube/LOmega.thy
changeset 4583 6d9be46ea566
equal deleted inserted replaced
4582:c5cfd00e4f28 4583:6d9be46ea566
       
     1 
       
     2 LOmega = L2 + Lomega