src/CTT/CTT.thy
changeset 71489 e8da4a8d364a
parent 69605 a96320074298
child 74299 16e5870fe21e
equal deleted inserted replaced
71488:cf39375d5cfe 71489:e8da4a8d364a