| 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 |