thys/CountSnoc.thy%7E
2014-10-07 fahadausaf lemma
less more (0) tip