Nominal/Ex/TypeSchemes.thy
changeset 2823 e92ce4d110f4
parent 2822 23befefc6e73
child 2830 297cff1d1048
child 2833 3503432262dc
equal deleted inserted replaced
2822:23befefc6e73 2823:e92ce4d110f4