src/HOL/Nominal/Examples/CR.thy
changeset 20083 717b1eb434f1
parent 19496 79dbe35c6cba
child 20503 503ac4c5ef91