src/CTT/bool.thy
changeset 7785 c06825c396e8
parent 0 a5a9c433f639