Sun, 10 Oct 2021 00:56:47 +0100 | Christian Urban | updated | file | diff | annotate |
Mon, 29 Jul 2019 09:37:20 +0100 | Christian Urban | updated | file | diff | annotate |
Sun, 17 Feb 2019 22:15:06 +0000 | Christian Urban | updated | file | diff | annotate |
Sun, 10 Feb 2019 21:53:57 +0000 | Christian Urban | updated to Isabelle 2018 | file | diff | annotate |
Mon, 10 Sep 2018 21:41:54 +0100 | Christian Urban | updated | file | diff | annotate |
Wed, 06 Sep 2017 00:52:08 +0100 | Christian Urban | updated | file | diff | annotate |
Sun, 27 Aug 2017 00:03:31 +0300 | Christian Urban | simplified proof | file | diff | annotate |