src/Doc/Datatypes/Setup.thy
changeset 60614 e39e6881985c
parent 56059 2390391584c2
child 69605 a96320074298