| Mon, 12 Nov 2007 11:18:51 +0100 | wenzelm | reactivated default paragraph formatting for ``proof documents''; | changeset | files |
| Mon, 12 Nov 2007 11:07:51 +0100 | schirmer | fixed typo; | changeset | files |
| Mon, 12 Nov 2007 11:07:22 +0100 | schirmer | added signatures; | changeset | files |
| Sun, 11 Nov 2007 20:29:07 +0100 | wenzelm | abbrev: bypass full term check via ProofContext.standard_infer_types (prevents forced expansion); | changeset | files |
| Sun, 11 Nov 2007 20:29:06 +0100 | wenzelm | simplified Consts.dest; | changeset | files |
| Sun, 11 Nov 2007 20:29:05 +0100 | wenzelm | simplified Consts.dest; | changeset | files |
| Sun, 11 Nov 2007 20:29:04 +0100 | wenzelm | simplified Consts.dest; | changeset | files |
| Sun, 11 Nov 2007 19:41:26 +0100 | nipkow | updates | changeset | files |