2011-04-06 | Christian Urban | changed default preprocessor that does not catch variables only occuring on the right | file | diff | annotate |
2011-03-02 | Cezary Kaliszyk | distinct names at toplevel | file | diff | annotate |
2011-03-02 | Cezary Kaliszyk | Pairing function | file | diff | annotate |
2011-02-17 | Cezary Kaliszyk | Finished the proof of a function that invents fresh variable names. | file | diff | annotate |