| Wed, 01 May 2019 10:40:40 +0000 | haftmann | more correct simulation of eigen context for generated Isar statements | file | diff | annotate |
| Sat, 30 Mar 2019 15:37:27 +0100 | haftmann | experimental commands for proof sketching and exploration | file | diff | annotate |