| Wed, 26 Apr 2006 14:19:13 +0200 | haftmann | fixed silly symlink bug | changeset | files |
| Wed, 26 Apr 2006 07:02:04 +0200 | kleing | added Ben Porter's stuff | changeset | files |
| Wed, 26 Apr 2006 07:01:33 +0200 | kleing | moved arithmetic series to geometric series in SetInterval | changeset | files |
| Tue, 25 Apr 2006 22:23:58 +0200 | wenzelm | Sign.arity_sorts; | changeset | files |
| Tue, 25 Apr 2006 22:23:50 +0200 | wenzelm | unlocalize_mixfix: fallback on NoSyn; | changeset | files |
| Tue, 25 Apr 2006 22:23:41 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 25 Apr 2006 22:23:30 +0200 | wenzelm | refer to structure Type instead of Sorts; | changeset | files |
| Tue, 25 Apr 2006 22:23:24 +0200 | wenzelm | added inter_sort; | changeset | files |