| Thu, 25 Feb 2010 22:06:43 +0100 | wenzelm | clarified ProofContext.read_type_name/Args.type_name wrt strict logical constructors; | changeset | files |
| Thu, 25 Feb 2010 22:05:34 +0100 | wenzelm | provide direct access to the different kinds of type declarations; | changeset | files |
| Thu, 25 Feb 2010 09:16:16 +0100 | boehmes | use mixfix syntax for Boogie types | changeset | files |