| Fri, 25 Oct 2024 11:31:16 +0200 | wenzelm | more inner-syntax markup; | changeset | files |
| Fri, 25 Oct 2024 17:01:23 +0200 | nipkow | merged | changeset | files |
| Fri, 25 Oct 2024 16:57:17 +0200 | nipkow | time_fun: lambdas and lets work now | changeset | files |
| Fri, 25 Oct 2024 15:31:58 +0200 | blanchet | variable instantiation in Sledgehammer and Metis | changeset | files |
| Thu, 24 Oct 2024 22:05:57 +0200 | wenzelm | prefer rewrite_term_yoyo for improved performance and occasionally better results (conforming to Ast.normalize); | changeset | files |
| Thu, 24 Oct 2024 12:44:48 +0200 | wenzelm | revert b35c2aa05fcf: redundant due to 89ea66c2045b, if object-logic judgment lacks delimiters; | changeset | files |