| 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
|
| Fri, 17 Jun 2016 12:37:43 +0200 |
fleury |
normalising multiset theorem names
|
changeset |
files
|
| Thu, 16 Jun 2016 17:11:00 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 16 Jun 2016 16:57:36 +0200 |
wenzelm |
isabelle update_cartouches -c -t;
|
changeset |
files
|
| Thu, 16 Jun 2016 16:39:18 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 16 Jun 2016 12:05:04 +0100 |
paulson |
Removed instances of ^ from theory markup
|
changeset |
files
|
| Wed, 15 Jun 2016 15:52:24 +0100 |
paulson |
Urysohn's lemma, Dugundji extension theorem and many other proofs
|
changeset |
files
|