Attic/CountSnoc.thy
changeset 262 45ad887fa6aa
parent 95 a33d3040bf7e
equal deleted inserted replaced
261:247fc5dd4943 262:45ad887fa6aa