| Wed, 30 May 2012 16:05:06 +0200 | Andreas Lochbihler | remove pretty syntax for FinFuns at the end and provide separate syntax theory | changeset | files |
| Tue, 29 May 2012 17:53:43 +0200 | huffman | add lemma set_of_image_mset | changeset | files |
| Wed, 30 May 2012 10:04:05 +0200 | Andreas Lochbihler | merged | changeset | files |
| Wed, 30 May 2012 09:54:53 +0200 | Andreas Lochbihler | eliminated remaining sub- and superscripts in FinFun syntax | changeset | files |
| Wed, 30 May 2012 09:46:58 +0200 | Andreas Lochbihler | syntax for FinFun composition without subscripts | changeset | files |
| Wed, 30 May 2012 09:36:39 +0200 | Andreas Lochbihler | FinFun pseudo-constructor syntax without superscripts | changeset | files |
| 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 |