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 |