doc-src/IsarOverview/Isar/Logic.thy
changeset 21450 f16c9e6401d1
parent 19840 600c35fd1b5e
child 25412 6f56f0350f6c
equal deleted inserted replaced
21449:0413b46ee5ef 21450:f16c9e6401d1