Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
Sat, 29 Dec 2018 16:58:53 +0100 | nipkow | more capitalization | file | diff | annotate |
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 |