Quot/Nominal/LFex.thy
changeset 1034 c1af17982f98
parent 1027 163d6917af62
child 1036 aaac8274f08c