summaryrefslogtreecommitdiff
path: root/WriteProofMain.hs
AgeCommit message (Expand)Author
2012-07-12Functions to linearise a graph into a proof trace (currently include removing...Jed Barber