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