| Thu, 04 Aug 2022 12:48:37 +0200 | polish naming in Rewrite_Order | file | diff | annotate |
| Sat, 30 Jul 2022 16:47:45 +0200 | eliminate global flag Rewrite.trace_on | file | diff | annotate |
| Sun, 12 Sep 2021 15:53:36 +0200 | cleanup test/../eqsystem-2.sml | file | diff | annotate |
| Tue, 10 Aug 2021 11:01:18 +0200 | eliminate ThyC.to_ctxt, use Proof_Context.init_global inline | file | diff | annotate |
| Tue, 03 Aug 2021 19:16:27 +0200 | repair cancellation with zero polynomial | file | diff | annotate |