Attic/CountSnoc.thy
changeset 213 dff69de375af
parent 95 a33d3040bf7e
equal deleted inserted replaced
212:9fd41f224e8d 213:dff69de375af