| Sat, 11 Jun 2005 22:15:51 +0200 | wenzelm | accomodate changed #classes; | changeset | files |
| Sat, 11 Jun 2005 22:15:50 +0200 | wenzelm | Theory.hide_consts renamed to Theory.hide_consts_i; | changeset | files |
| Sat, 11 Jun 2005 22:15:48 +0200 | wenzelm | refer to name spaces values instead of names; | changeset | files |
| Sat, 11 Jun 2005 22:15:47 +0200 | wenzelm | renamed Sign.intern_tycon to Sign.intern_type; | changeset | files |