Nominal/Ex/Classical.thy
changeset 3110 62e1d888aacc
parent 2975 c62e26830420
child 3071 11f6a561eb4b
child 3183 313e6f2cdd89
equal deleted inserted replaced
3109:d79e936e30ea 3110:62e1d888aacc