| Mon, 03 Oct 2016 16:15:59 +0200 | wenzelm | clarified: a variant of -i is the default, but its output is not as precise as it might seem; | changeset | files |
| Wed, 05 Oct 2016 21:27:21 +0200 | nipkow | merged | changeset | files |
| Wed, 05 Oct 2016 20:01:05 +0200 | nipkow | replaced floorlog by floor/ceiling(log .) | changeset | files |
| Wed, 05 Oct 2016 20:12:56 +0200 | fleury | more multiset simp rules | changeset | files |
| Wed, 05 Oct 2016 14:28:22 +0200 | fleury | tuned proof -- much faster | changeset | files |
| Mon, 03 Oct 2016 14:37:06 +0200 | haftmann | proof of concept for algebraically founded word types | changeset | files |