| 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 |