Wed, 27 Oct 2010 16:40:31 +0200 | haftmann | sorting: avoid _key suffix if lemma applies both to simple and generalized variant; generalized insort_insert to insort_insert_key; additional lemmas | changeset | files |
Wed, 27 Oct 2010 13:46:30 +0200 | krauss | regenerated keyword file | changeset | files |
Wed, 27 Oct 2010 08:58:03 +0200 | boehmes | made SML/NJ happy | changeset | files |