Nominal/Ex/CoreHaskell.thy
changeset 2534 f99578469d08
parent 2481 3a5ebb2fcdbf
child 2593 25dcb2b1329e
equal deleted inserted replaced
2533:767161329839 2534:f99578469d08