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 |
Mon, 03 Oct 2016 14:34:32 +0200 | haftmann | more lemmas | changeset | files |
Mon, 03 Oct 2016 14:34:31 +0200 | haftmann | option to report results of solve_direct as explicit warnings | changeset | files |