| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | tuned file system structure | changeset | files |
| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | avoid spammed sledgehammer proofs | changeset | files |
| Tue, 11 Jun 2019 18:33:27 +0200 | nipkow | added lemmas | changeset | files |
| Sun, 09 Jun 2019 22:23:41 +0200 | wenzelm | proper URL; | changeset | files |
| Sun, 09 Jun 2019 22:22:36 +0200 | wenzelm | merged; | changeset | files |
| Sun, 09 Jun 2019 20:24:16 +0200 | wenzelm | Added tag Isabelle2019 for changeset 83774d669b51 | changeset | files |
| Fri, 07 Jun 2019 11:08:29 +0200 | blanchet | handle timeouts gracefully in 'smt' proof method (patch due to Mathias Fleury) | changeset | files |
| Tue, 04 Jun 2019 20:49:33 +0200 | wenzelm | tuned; | changeset | files |