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 |