summaryrefslogtreecommitdiff
path: root/Theorem.hs
AgeCommit message (Expand)Author
2012-05-11Moved datatype declarations and associated functions to separate filesJed Barber