| Wed, 06 Aug 2008 16:41:40 +0200 | ballarin | Interpretation command (theory/proof context) no longer simplifies goal. | changeset | files |
| Wed, 06 Aug 2008 13:57:25 +0200 | nipkow | added lemma | changeset | files |
| Wed, 06 Aug 2008 10:43:42 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Wed, 06 Aug 2008 00:58:27 +0200 | berghofe | Reverted last change, since it caused incompatibilities. | changeset | files |
| Wed, 06 Aug 2008 00:12:31 +0200 | wenzelm | fall back on P.term_group, to avoid problems with inner_syntax markup (due to CodeName.read_const_exprs); | changeset | files |
| Wed, 06 Aug 2008 00:12:26 +0200 | wenzelm | T.end_position_of; | changeset | files |
| Wed, 06 Aug 2008 00:12:21 +0200 | wenzelm | adapted Antiq; | changeset | files |
| Wed, 06 Aug 2008 00:12:02 +0200 | wenzelm | parse_sort/typ/term/prop: report markup; | changeset | files |