Nominal/Ex/Multi_Recs.thy
changeset 3116 6968fd7507de
parent 3059 f6275afb868a
child 3208 da575186d492