doc-src/Intro/gate.thy
changeset 14333 14f29eb097a3
parent 105 216d6ed87399
equal deleted inserted replaced
14332:fd3535af90ab 14333:14f29eb097a3