| Sun, 28 Aug 2005 16:04:52 +0200 | wenzelm | removed obsolete type_syn; | changeset | files |
| Sun, 28 Aug 2005 16:04:51 +0200 | wenzelm | unskolem local vars; | changeset | files |
| Sun, 28 Aug 2005 16:04:50 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 28 Aug 2005 16:04:49 +0200 | wenzelm | added alt_string; | changeset | files |