| Thu, 17 Apr 1997 18:17:23 +0200 | paulson | Automatic updates | changeset | files |
| Thu, 17 Apr 1997 18:16:12 +0200 | paulson | Removed the \date{} command in order to put the date of typesetting on the | changeset | files |
| Thu, 17 Apr 1997 18:10:49 +0200 | paulson | Corrected the informal description of coinductive definition | changeset | files |
| Thu, 17 Apr 1997 18:10:12 +0200 | paulson | Corrected the informal description of coinductive definition in sections 1 | changeset | files |
| Thu, 17 Apr 1997 17:54:21 +0200 | nipkow | Added ability to have case expressions involving tuples. (via translation) | changeset | files |
| Thu, 17 Apr 1997 14:41:56 +0200 | wenzelm | tuned; | changeset | files |