src/HOL/Nominal/Examples/Class.thy
changeset 20083 717b1eb434f1
parent 19500 188d4e44c1a6
child 22232 340cb955008e