Sat, 24 Dec 2011 16:14:59 +0100 | haftmann | NEWS: `set` is now a proper type constructor | changeset | files |
Sat, 24 Dec 2011 16:14:58 +0100 | haftmann | dropped references to obsolete facts `mem_def` and `Collect_def` | changeset | files |
Sat, 24 Dec 2011 16:14:58 +0100 | haftmann | dropped references to obsolete facts `mem_def_raw` and `Collect_def_raw` | changeset | files |