src/Cube/LPomega.thy
changeset 14722 8e739a6eaf11
parent 4583 6d9be46ea566