Thu, 17 Dec 2020 09:10:30 +0100 | step 4.2: writeln at calling Output.report uncover some of proof handling | file | diff | annotate |
Wed, 16 Dec 2020 16:25:55 +0100 | step 4.1: @{print} at calling Output.report fails | file | diff | annotate |
Thu, 10 Dec 2020 14:38:32 +0100 | step 3.4: stop SPARK as a model for investigating Isabelle's proof machinery | file | diff | annotate |
Tue, 03 Sep 2019 16:10:31 +0200 | \----- start update Isabelle2018 --> Isabelle2019 | file | diff | annotate |