| Thu, 21 Sep 2023 17:04:56 +0200 | wenzelm | more robust: prefer linear data flow; | changeset | files |
| Wed, 20 Sep 2023 17:40:09 +0200 | desharna | added first proof reconstruction test for Sledgehammer | changeset | files |
| Tue, 19 Sep 2023 20:24:39 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 19 Sep 2023 19:48:54 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 19 Sep 2023 13:46:11 +0200 | wenzelm | clarified signature (again): follow Isabelle/Java/Scala; | changeset | files |
| Tue, 19 Sep 2023 13:12:13 +0200 | wenzelm | tuned (following 69c6d3e87660); | changeset | files |