Nominal/Ex/Multi_Recs2.thy
changeset 2525 c848f93807b9
parent 2481 3a5ebb2fcdbf
child 2593 25dcb2b1329e