| 2010-05-05 | Cezary Kaliszyk | Some cleaning in Term4 | file | diff | annotate |
| 2010-05-04 | Cezary Kaliszyk | Move Term4 to NewParser | file | diff | annotate |
| 2010-05-04 | Cezary Kaliszyk | Fix Term4 for permutation signature change | file | diff | annotate |
| 2010-04-20 | Cezary Kaliszyk | All lifted in Term4. Requires new isabelle. | file | diff | annotate |
| 2010-04-16 | Cezary Kaliszyk | Lifting in Term4. | file | diff | annotate |
| 2010-04-15 | Cezary Kaliszyk | More on Manual/Trm4 | file | diff | annotate |
| 2010-04-15 | Cezary Kaliszyk | alpha4_equivp and constant lifting. | file | diff | annotate |