| Fri, 29 Oct 2021 20:04:33 +0200 | wenzelm | clarified antiquotations; | changeset | files |
| Fri, 29 Oct 2021 19:49:11 +0200 | wenzelm | recursive find_eq, not find_dist; | changeset | files |
| Fri, 29 Oct 2021 19:43:32 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| Fri, 29 Oct 2021 19:17:24 +0200 | wenzelm | clarified antiquotations; | changeset | files |
| Fri, 29 Oct 2021 15:09:46 +0200 | Lukas Stevens | order_tac: prevent potential bug, improve perf and tracing | changeset | files |
| Fri, 29 Oct 2021 13:23:41 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| Fri, 29 Oct 2021 13:04:51 +0200 | wenzelm | clarified antiquotations; | changeset | files |
| Fri, 29 Oct 2021 12:42:06 +0200 | wenzelm | clarified antiquotations: no need for Thm.beta_conversion, due to Thm.instantiate_beta; | changeset | files |