doc-src/Intro/gate2.thy
changeset 26462 dac4e2bce00d
parent 105 216d6ed87399