doc-src/Intro/gate2.thy
changeset 29786 84a3f86441eb
parent 105 216d6ed87399
equal deleted inserted replaced
29783:dce05b909056 29786:84a3f86441eb