doc-src/IsarRef/logics.tex
changeset 26435 bdce320cd426
parent 26245 00cbf41ba625
child 26746 b010007e9d31