Tue, 12 Jun 2018 16:21:52 +0200 | immler | a derived rule combining unoverload and internalize_sort | file | diff | annotate |
Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
Mon, 12 Dec 2016 11:33:14 +0100 | wenzelm | proper session HOL-Types_To_Sets; | file | diff | annotate |