doc-src/Intro/gate.thy
changeset 23027 2ca265156256
parent 105 216d6ed87399