| Sun, 06 Dec 2015 17:27:42 +0100 | nipkow | added AA trees | changeset | files |
| Sun, 06 Dec 2015 11:26:38 +0100 | nipkow | tuned | changeset | files |
| Sat, 05 Dec 2015 17:23:50 +0100 | nipkow | tuned | changeset | files |
| Sat, 05 Dec 2015 16:33:20 +0100 | nipkow | avoid name clashes | changeset | files |
| Sat, 05 Dec 2015 16:13:28 +0100 | nipkow | added Brother12_Map | changeset | files |
| Fri, 04 Dec 2015 22:19:04 +0100 | blanchet | tuned docs | changeset | files |
| Fri, 04 Dec 2015 21:39:38 +0100 | blanchet | more documentation on 'size' plugin | changeset | files |
| Fri, 04 Dec 2015 21:21:35 +0100 | blanchet | nicer error when the given size function has the wrong type | changeset | files |
| Fri, 04 Dec 2015 14:39:39 +0100 | nipkow | merged | changeset | files |
| Fri, 04 Dec 2015 14:39:31 +0100 | nipkow | added 1-2 brother trees | changeset | files |
| Fri, 04 Dec 2015 14:15:17 +0100 | blanchet | updated SMT certificates | changeset | files |
| Fri, 04 Dec 2015 14:15:16 +0100 | blanchet | removed needless complication for modern SMT solvers | changeset | files |