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 |
2010-04-15 | Cezary Kaliszyk | alpha4_eqvt and alpha4_reflp | file | diff | annotate |
2010-04-15 | Cezary Kaliszyk | fv_eqvt in term4 | file | diff | annotate |
2010-04-15 | Cezary Kaliszyk | Updating in Term4. | file | diff | annotate |
2010-04-15 | Christian Urban | changed header | file | diff | annotate |
2010-03-23 | Cezary Kaliszyk | Move manual examples to a subdirectory. | file | diff | annotate | base |