Quot/Examples/SigmaEx.thy
changeset 1196 4efbaba9d754
parent 1139 c4001cda9da3
equal deleted inserted replaced
1193:a228acf2907e 1196:4efbaba9d754