src/HOL/UNITY/Comp.thy
changeset 42224 578a51fae383
parent 35416 d8d7d1b785af
child 46912 e0cd5c4df8e6