doc-src/IsarOverview/Isar/document/Logic.tex
changeset 44319 806e0390de53
parent 40406 313a24b66a8d