Quot/Examples/Terms.thy
changeset 1230 a41c3a105104
parent 1128 17ca92ab4660
equal deleted inserted replaced
1227:ec2e0116779e 1230:a41c3a105104