Nominal/Ex/CoreHaskell2.thy
changeset 2981 c8acaded1777
parent 2950 0911cb7bf696