Thu, 15 Aug 2019 16:17:18 +0200 | wenzelm | more complete pattern match; | changeset | files |
Thu, 15 Aug 2019 16:06:57 +0200 | wenzelm | export facts with reconstructed proof term (if possible), but its PThm boxes need to be collected separately; | changeset | files |