| Tue, 18 Apr 2023 15:56:16 +0200 | wenzelm | Thm.shared context: speed-up low-level inferences; | changeset | files |
| Tue, 18 Apr 2023 12:45:01 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Tue, 18 Apr 2023 12:23:37 +0200 | wenzelm | backout 4a174bea55e2; | changeset | files |
| Tue, 18 Apr 2023 12:10:00 +0200 | wenzelm | Backed out changeset f34d11942ac1 | changeset | files |