summaryrefslogtreecommitdiff
path: root/Theorem.hs
AgeCommit message (Collapse)Author
2012-05-11Incorporated use of Data.Set and Data.MapJed Barber
2012-05-11Moved datatype declarations and associated functions to separate filesJed Barber