| 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 |
| Tue, 25 Apr 2006 22:23:17 +0200 | wenzelm | added remove_sort; | changeset | files |
| Tue, 25 Apr 2006 22:23:11 +0200 | wenzelm | added arity_number/sorts; | changeset | files |
| Tue, 25 Apr 2006 22:23:04 +0200 | wenzelm | made 'flat' pervasive (again); | changeset | files |