Nominal/Ex/CoreHaskell.thy
changeset 2365 467123396e5a
parent 2339 1e0b3992189c
child 2393 d9a0cf26a88c