summaryrefslogtreecommitdiff
path: root/Delete.hs
AgeCommit message (Expand)Author
2012-08-02Removes theorems from article, specified by numberJed Barber