Quot/Examples/LFex.thy
changeset 1121 8d3f92694e85
parent 771 b2231990b059
child 1128 17ca92ab4660
equal deleted inserted replaced
1120:42b623872781 1121:8d3f92694e85