| Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Wed, 13 Jun 2018 10:52:47 +0200 | immler | tuned exception | file | diff | annotate |
| Wed, 13 Jun 2018 10:45:23 +0200 | immler | restructured | file | diff | annotate |
| Wed, 13 Jun 2018 09:38:07 +0200 | immler | result of unoverload is not in normal form | file | diff | annotate |
| Wed, 13 Jun 2018 09:26:04 +0200 | immler | tuned | file | diff | annotate |
| Wed, 13 Jun 2018 09:22:58 +0200 | immler | allow for a list of vars | file | diff | annotate |
| Wed, 13 Jun 2018 09:11:35 +0200 | immler | parse var | file | diff | annotate |
| Tue, 12 Jun 2018 19:32:42 +0200 | immler | tuned | file | diff | annotate |
| Tue, 12 Jun 2018 19:30:55 +0200 | immler | workaround: in internalize_sort, Thm.unconstrainT can rename type variables and therefore invalidate new_tvar | file | diff | annotate |
| Tue, 12 Jun 2018 16:21:52 +0200 | immler | a derived rule combining unoverload and internalize_sort | file | diff | annotate |