Sun, 15 Jan 2023 18:30:18 +0100 | wenzelm | isabelle update -u cite; | file | diff | annotate |
Thu, 05 Jan 2023 21:33:49 +0100 | wenzelm | isabelle update -u path_cartouches; | file | diff | annotate |
Tue, 19 Oct 2021 15:03:00 +0200 | wenzelm | proper file headers; | file | diff | annotate |
Mon, 02 Dec 2019 13:57:32 -0500 | immler | tuned Analysis manual | file | diff | annotate |
Mon, 28 Oct 2019 19:52:57 +0100 | wenzelm | proper file name: .ML is mandatory for Isabelle/ML files; | file | diff | annotate |
Sun, 27 Oct 2019 12:13:04 -0400 | immler | avoid referring to lemmas by index | file | diff | annotate |
Sun, 27 Oct 2019 12:09:07 -0400 | immler | documented reference | file | diff | annotate |
Sun, 27 Oct 2019 16:32:01 +0100 | immler | decision procedure for metric spaces, implemented by Maximilian Schäffeler | file | diff | annotate |