src/CCL/Type.thy
changeset 451 9ebdead316e0
parent 22 41dc6b189412
child 999 9bf3816298d0
equal deleted inserted replaced
450:382b5368ec21 451:9ebdead316e0