| Mon, 20 Jun 2016 17:51:47 +0200 | wenzelm | prefer HOL definitions; | changeset | files |
| Mon, 20 Jun 2016 17:25:08 +0200 | wenzelm | tuned proof; | changeset | files |
| Mon, 20 Jun 2016 17:03:50 +0200 | wenzelm | misc tuning and modernization; | changeset | files |
| Mon, 20 Jun 2016 10:51:34 +0200 | eberlm | Merged | changeset | files |
| Fri, 17 Jun 2016 17:02:13 +0200 | eberlm | Merged | changeset | files |
| Fri, 17 Jun 2016 11:33:52 +0200 | eberlm | fps_from_poly → fps_of_poly | changeset | files |
| Fri, 17 Jun 2016 11:33:03 +0200 | eberlm | Merged | changeset | files |
| Thu, 16 Jun 2016 17:57:09 +0200 | eberlm | Various additions to polynomials, FPSs, Gamma function | changeset | files |
| Sun, 19 Jun 2016 22:51:42 +0200 | wenzelm | misc tuning and modernization; | changeset | files |
| Sun, 19 Jun 2016 17:40:51 +0200 | Lars Hupel | benchmark build profile | changeset | files |
| Fri, 17 Jun 2016 21:35:35 +0200 | blanchet | killed dead code | changeset | files |
| Fri, 17 Jun 2016 21:25:59 +0200 | blanchet | avoid runtime warning with discriminators due to 'Code.del_eqn' | changeset | files |
| Fri, 17 Jun 2016 21:00:32 +0200 | blanchet | killed deadcode | changeset | files |
| Fri, 17 Jun 2016 12:40:18 +0200 | blanchet | be more careful before filtering out chained facts in Sledgehammer | changeset | files |