| Fri, 10 Apr 2020 14:46:55 +0200 | rearrange code for ThmC | file | diff | annotate |
| Thu, 09 Apr 2020 17:13:17 +0200 | separate struct. UnparseC, shift code to ThmC | file | diff | annotate |
| Wed, 25 Mar 2020 10:38:31 +0100 | remove unused field in Ctree | file | diff | annotate |
| Tue, 11 Feb 2020 11:58:45 +0100 | introduce Step.by_tactic, part 1 | file | diff | annotate |
| Mon, 23 Dec 2019 16:58:36 +0100 | shift code from mathengine-stateless.sml to Step.do_next | file | diff | annotate |
| Sat, 21 Dec 2019 18:05:13 +0100 | lucin: unify do_next postponed | file | diff | annotate |
| Thu, 19 Dec 2019 16:41:57 +0100 | cleanup fun solve, shift from Solve --> Step_Solve | file | diff | annotate |
| Tue, 03 Apr 2018 16:53:18 +0200 | improve test suite | file | diff | annotate |
| Thu, 22 Dec 2016 11:36:20 +0100 | renamed Ctree.ptree --> Ctree.ctree | file | diff | annotate |
| Mon, 22 Jul 2013 13:52:18 +0200 | --- Test_Isac.thy runs all tests | file | diff | annotate |
| Fri, 13 May 2011 09:28:38 +0200 | tuned | file | diff | annotate |