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 |