src/HOL/AxClasses/Tutorial/Xor.thy
changeset 5253 82a5ca6290aa
parent 2907 0e272e4c7cb2