| Thu, 18 Feb 2010 20:46:46 +0100 | wenzelm | more systematic treatment of qualified names derived from binding; | changeset | files |
| Thu, 18 Feb 2010 20:44:22 +0100 | wenzelm | pretty_full_theory: proper Syntax.init_pretty_global; | changeset | files |
| Thu, 18 Feb 2010 11:23:03 +0100 | wenzelm | made SML/NJ happy (again); | changeset | files |