Data.Logic.Harrison.PropExamples
data
Atom
a
type
N
prime
ramsey
tests