| Wed, 30 May 2012 09:13:39 +0200 | Andreas Lochbihler | replace FinFun application syntax with $ | changeset | files |
| Wed, 30 May 2012 08:48:14 +0200 | Andreas Lochbihler | removed subscripts from FinFun type syntax | changeset | files |
| Wed, 30 May 2012 08:34:14 +0200 | Andreas Lochbihler | improve code setup for set equality | changeset | files |
| Tue, 29 May 2012 17:21:41 +0200 | Andreas Lochbihler | add code equation for coset xs = set ys | changeset | files |
| Tue, 29 May 2012 17:17:57 +0200 | Andreas Lochbihler | tuned proofs | changeset | files |
| Tue, 29 May 2012 16:41:00 +0200 | Andreas Lochbihler | use bundle in FinFun | changeset | files |
| Tue, 29 May 2012 16:08:12 +0200 | Andreas Lochbihler | unify Rep_finfun and finfun_apply | changeset | files |
| Tue, 29 May 2012 15:31:58 +0200 | Andreas Lochbihler | move FinFuns from AFP to repository | changeset | files |
| Wed, 30 May 2012 09:25:37 +0200 | wenzelm | discontinued unused unzip/untar; | changeset | files |
| Tue, 29 May 2012 23:19:37 +0200 | wenzelm | update GUI components after init; | changeset | files |
| Tue, 29 May 2012 22:44:02 +0200 | wenzelm | merged | changeset | files |
| Tue, 29 May 2012 19:13:02 +0200 | kuncar | don't be so aggressive during unfolding id and o | changeset | files |