Nominal/Ex/Lambda.thy
changeset 3111 60c4c93b30d5
parent 3085 25d813c5042d
child 3134 301b74fcd614
equal deleted inserted replaced
3110:62e1d888aacc 3111:60c4c93b30d5