Quot/Examples/SigmaEx.thy
changeset 1116 3acc7d25627a
parent 1074 7a42cc191111
child 1128 17ca92ab4660
equal deleted inserted replaced
1113:9f6c606d5b59 1116:3acc7d25627a