doc-src/IsarImplementation/Thy/Logic.thy
changeset 38795 848be46708dc
parent 36345 3cbce59ed78d
child 39281 148b78fb70d8