| 2010-02-18 | Cezary Kaliszyk | Testing auto constant lifting. | file | diff | annotate |
| 2010-02-18 | Cezary Kaliszyk | Changed back to original version of trm5 | file | diff | annotate |
| 2010-02-18 | Cezary Kaliszyk | The alternate version of trm5 with additional binding. All proofs work the same. | file | diff | annotate |