Nominal/Ex/Ex1rec.thy
changeset 2070 ff69913e2608
parent 2067 ace7775cbd04
child 2082 0854af516f14