Fri, 18 Jan 2019 19:48:04 -0500 | immler | automation for unverloading definitions | file | diff | annotate |
Sun, 06 Jan 2019 15:04:34 +0100 | wenzelm | isabelle update -u path_cartouches; | file | diff | annotate |
Tue, 12 Jun 2018 16:21:52 +0200 | immler | a derived rule combining unoverload and internalize_sort | file | diff | annotate |
Sun, 20 May 2018 11:57:17 +0200 | wenzelm | prefer HTTPS; | file | diff | annotate |
Mon, 12 Dec 2016 11:33:14 +0100 | wenzelm | proper session HOL-Types_To_Sets; | file | diff | annotate |