Tue, 16 Feb 2010 13:26:21 +0100 | wenzelm | comment; | changeset | files |
Tue, 16 Feb 2010 13:06:43 +0100 | wenzelm | conceal internal record definitions; | changeset | files |
Tue, 16 Feb 2010 11:59:05 +0100 | wenzelm | simplified meaning of ProofContext.verbose; | changeset | files |