summaryrefslogtreecommitdiff
path: root/Library
AgeCommit message (Collapse)Author
2012-09-26Fixed minor alpha conversion argument ordering bugJed Barber
2012-09-24Allowed output of a graphpart to be used by multiple nodesJed Barber
2012-09-22TermNet working properlyJed Barber
2012-09-22Added a function to check whether a given type is a type variableJed Barber
2012-09-22Moved some functions from graphpart to proofgraphJed Barber
2012-09-14Code complete, but buggyJed Barber
2012-09-13Cleaner directory structure, addition of make clean, grouping of library ↵Jed Barber
modules into a single package