Nominal/Ex/CoreHaskell.thy
changeset 2264 2a95188263ec
parent 2213 231a20534950
child 2312 ad03df7e8056
equal deleted inserted replaced
2263:d2ca79475103 2264:2a95188263ec