| Mon, 19 Dec 2005 12:08:16 +0100 | urbanc | fixed a bug that occured when more than one atom-type | changeset | files |
| Mon, 19 Dec 2005 09:19:08 +0100 | nipkow | fixed proof | changeset | files |
| Sun, 18 Dec 2005 20:10:15 +0100 | urbanc | more cleaning up - this time of the cp-instance | changeset | files |
| Sun, 18 Dec 2005 14:36:42 +0100 | urbanc | improved the finite-support proof | changeset | files |
| Sun, 18 Dec 2005 13:38:06 +0100 | urbanc | improved the code for showing that a type is | changeset | files |
| Sat, 17 Dec 2005 01:58:41 +0100 | wenzelm | simp del: empty_Collect_eq; | changeset | files |
| Sat, 17 Dec 2005 01:00:40 +0100 | wenzelm | sort_distinct; | changeset | files |