doc-src/IsarOverview/Isar/document/Logic.tex
changeset 45107 76fef3e57004
parent 40406 313a24b66a8d