Wed, 30 May 2012 09:13:39 +0200 | Andreas Lochbihler | replace FinFun application syntax with $ | file | diff | annotate |
Wed, 30 May 2012 08:48:14 +0200 | Andreas Lochbihler | removed subscripts from FinFun type syntax | file | diff | annotate |
Tue, 29 May 2012 16:08:12 +0200 | Andreas Lochbihler | unify Rep_finfun and finfun_apply | file | diff | annotate |
Tue, 29 May 2012 15:31:58 +0200 | Andreas Lochbihler | move FinFuns from AFP to repository | file | diff | annotate |