doc-src/Intro/gate2.thy
changeset 26803 0af0f674845d
parent 105 216d6ed87399
equal deleted inserted replaced
26802:9eede540a5e8 26803:0af0f674845d