src/CCL/wfd.thy
changeset 9360 82e8b18e6985
parent 289 78541329ff35
equal deleted inserted replaced
9359:a4b990838074 9360:82e8b18e6985