| Tue, 13 Oct 2015 09:21:15 +0200 | haftmann | prod_case as canonical name for product type eliminator | file | diff | annotate |
| Sun, 06 Sep 2015 22:14:51 +0200 | haftmann | prefer "uncurry" as canonical name for case distinction on products in combinatorial view | file | diff | annotate |
| Wed, 26 Nov 2014 20:05:34 +0100 | wenzelm | renamed "pairself" to "apply2", in accordance to @{apply 2}; | file | diff | annotate |
| Fri, 21 Feb 2014 20:29:33 +0100 | wenzelm | reduced ML warnings; | file | diff | annotate |
| Wed, 12 Feb 2014 08:35:57 +0100 | blanchet | renamed '{prod,sum,bool,unit}_case' to 'case_...' | file | diff | annotate |
| Wed, 10 Apr 2013 21:46:28 +0200 | wenzelm | more antiquotations; | file | diff | annotate |
| Fri, 08 Apr 2011 13:31:16 +0200 | wenzelm | explicit structure Syntax_Trans; | file | diff | annotate |
| Tue, 29 Mar 2011 21:48:01 +0200 | wenzelm | use shared copy of hoare_syntax.ML; | file | diff | annotate |