Fri, 26 Jul 2019 09:35:02 +0200 | wenzelm | defer rew_proof on unnamed PThm node as open_proof operation: significant performance improvement; | changeset | files |
Thu, 25 Jul 2019 14:01:06 +0200 | wenzelm | more accurate proof definitions (PThm nodes); | changeset | files |