src/CTT/Bool.thy
changeset 65202 187277b77d50
parent 64980 7dc25cf5793e