| 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 |