Nominal/Ex/Lambda.thy
changeset 2395 79e493880801
parent 2311 4da5c5c29009
child 2424 621ebd8b13c4
equal deleted inserted replaced
2394:e2759a4dad4b 2395:79e493880801