Nominal/Lift.thy
changeset 1851 d25e1576ca82
parent 1843 35e06fc27744
child 2008 1bddffddc03f
equal deleted inserted replaced
1850:05b2dd2b0e8a 1851:d25e1576ca82