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 |