src/CCL/CCL.thy
changeset 63833 4aaeb9427c96
parent 63120 629a4c5e953e
child 69593 3dda49e08b9d
equal deleted inserted replaced
63832:a400b127853c 63833:4aaeb9427c96