| Tue, 09 Mar 2010 14:29:47 +0100 | wenzelm | simplified Syntax.basic_syntax (again); | changeset | files |
| Tue, 09 Mar 2010 14:55:25 +0100 | wenzelm | tuned -- eliminated Sign.intern_sort; | changeset | files |
| Tue, 09 Mar 2010 14:18:06 +0100 | wenzelm | renamed mk_const_def to legacy_const_def, because of slightly odd Sign.intern_term; | changeset | files |