doc-src/Intro/bool.thy
changeset 40722 441260986b63
parent 32960 69916a850301