Quot/Examples/SigmaEx.thy
changeset 1117 8948319b190e
parent 1074 7a42cc191111
child 1128 17ca92ab4660
equal deleted inserted replaced
1116:3acc7d25627a 1117:8948319b190e