Thu, 26 May 2016 17:51:22 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
Mon, 25 Apr 2016 16:09:26 +0200 | wenzelm | eliminated old 'def'; | file | diff | annotate |
Tue, 16 Feb 2016 22:28:19 +0100 | traytel | make predicator a first-class bnf citizen | file | diff | annotate |
Tue, 13 Oct 2015 09:21:15 +0200 | haftmann | prod_case as canonical name for product type eliminator | file | diff | annotate |
Sun, 03 May 2015 18:45:58 +0200 | wenzelm | proper header; | file | diff | annotate |
Wed, 18 Mar 2015 21:40:21 +0100 | traytel | bounded powerset | file | diff | annotate |