src/Doc/Implementation/Logic.thy
changeset 74913 c2a2be496f35
parent 74910 bdaf29253394
child 74915 cdd2284c8047