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 |