| 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 |
| Sat, 11 Jun 2005 15:42:51 +0200 | wenzelm | fixed spelling; | changeset | files |
| Sat, 11 Jun 2005 12:55:25 +0200 | obua | further optimizations of cycle test | changeset | files |
| Fri, 10 Jun 2005 19:21:16 +0200 | nipkow | tuned | changeset | files |
| Fri, 10 Jun 2005 18:36:47 +0200 | nipkow | tuning | changeset | files |