Sun, 01 Jul 2018 19:51:04 +0200 | wenzelm | tuned; | changeset | files |
Sun, 01 Jul 2018 19:50:33 +0200 | wenzelm | merged | changeset | files |
Sun, 01 Jul 2018 12:38:37 +0200 | wenzelm | discontinued pending_shyps: too much complication due to lazy facts; | changeset | files |
Sun, 01 Jul 2018 12:37:24 +0200 | wenzelm | proper error; | changeset | files |
Sun, 01 Jul 2018 16:46:28 +0100 | paulson | merged | changeset | files |
Sun, 01 Jul 2018 16:13:25 +0100 | paulson | a few more lemmas from Paulo and Martin | changeset | files |