| 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 17:17:57 +0200 | Andreas Lochbihler | tuned proofs | file | diff | annotate |
| Tue, 29 May 2012 16:41:00 +0200 | Andreas Lochbihler | use bundle in FinFun | 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 |