Nominal/Ex/SingleLet.thy
changeset 2223 c474186439bd
parent 2213 231a20534950
child 2284 7b83e1c8ba2e
child 2312 ad03df7e8056
child 2326 b51532dd5689
equal deleted inserted replaced
2222:973649d612f8 2223:c474186439bd