doc-src/Classes/Thy/Setup.thy
changeset 37745 6315b6426200
parent 35113 1a0c129bb2e0
child 38321 7edf0ab9d5cb