| Mon, 05 Oct 2020 12:16:16 +0200 | Isabelle2019->20: adapt to new session requirements | file | diff | annotate |
| Mon, 29 Jun 2020 16:01:01 +0200 | renamings for Isabelle WS | file | diff | annotate |
| Tue, 28 Apr 2020 19:39:06 +0200 | move code from struct.Celem to appropriate struct.s | file | diff | annotate |
| Fri, 10 Apr 2020 15:02:50 +0200 | rename directory CalcElements to BaseDefinitions | file | diff | annotate |
| Wed, 11 Mar 2020 15:25:52 +0100 | start formally checked documentation with Lucas_Interpreter | file | diff | annotate |