doc-src/Intro/gate.thy
changeset 14333 14f29eb097a3
parent 105 216d6ed87399