| Fri, 29 Oct 2021 20:15:59 +0200 | wenzelm | proper subgoal addressing; | changeset | files |
| 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 |