| 2009-10-28 | Christian Urban | ported all constant definitions to new scheme | file | diff | annotate |
| 2009-10-25 | Christian Urban | added code for declaring map-functions | file | diff | annotate |
| 2009-10-24 | Christian Urban | changed the definitions of liftet constants to use fun_maps | file | diff | annotate |
| 2009-10-24 | Christian Urban | changed encoding from utf8 to ISO8 (needed to work with xemacs) | file | diff | annotate |
| 2009-10-23 | Cezary Kaliszyk | Split Finite Set example into separate file | file | diff | annotate |