| Fri, 31 Jan 1997 17:17:10 +0100 | paulson | Correction to Problem 24 | changeset | files |
| Fri, 31 Jan 1997 17:15:55 +0100 | paulson | Correction to Problem 24 (with unsatisfactory proof) | changeset | files |
| Fri, 31 Jan 1997 17:13:19 +0100 | paulson | ex_impE was incorrectly listed as Safe | changeset | files |
| Fri, 31 Jan 1997 16:57:45 +0100 | oheimb | reflecting the changes made in HOLCF/ex and HOLCF/explicit_domains | changeset | files |
| Fri, 31 Jan 1997 16:56:32 +0100 | oheimb | added Classlib.* and Witness.*, | changeset | files |
| Fri, 31 Jan 1997 16:51:58 +0100 | oheimb | moved Coind.*, Dagstuhl.*, Focus_ex.* to HOLCF/ex, | changeset | files |
| Fri, 31 Jan 1997 16:39:27 +0100 | oheimb | added def_fix_ind and def_wfix_ind for convenience | changeset | files |
| Fri, 31 Jan 1997 15:54:00 +0100 | oheimb | added addloop (and also documentation of addsolver | changeset | files |