| Mon, 15 Mar 2010 17:33:41 +0100 | nipkow | tuned inductions | changeset | files |
| Mon, 15 Mar 2010 21:59:28 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 15 Mar 2010 21:57:35 +0100 | wenzelm | moved old Sign.intern_term to the place where it is still used; | changeset | files |
| Mon, 15 Mar 2010 20:27:23 +0100 | wenzelm | preserve full const name more carefully, and avoid slightly odd Sign.intern_term; | changeset | files |
| Mon, 15 Mar 2010 18:59:16 +0100 | wenzelm | replaced type_syntax/term_syntax by uniform syntax_declaration; | changeset | files |
| Mon, 15 Mar 2010 15:13:22 +0100 | haftmann | merged | changeset | files |
| Mon, 15 Mar 2010 15:13:07 +0100 | haftmann | corrected disastrous syntax declarations | changeset | files |