src/CCL/Wfd.thy
changeset 62378 85ed00c1fe7c
parent 61966 e90c42077767
child 63120 629a4c5e953e
equal deleted inserted replaced
62377:ace69956d018 62378:85ed00c1fe7c