| Fri, 26 Jan 1996 20:25:39 +0100 | nipkow | Streamlined defs in Relation and added new intro/elim rules to do with | changeset | files |
| Fri, 26 Jan 1996 13:43:36 +0100 | clasohm | extended warning regarding MAKE_HTML databases | changeset | files |
| Fri, 26 Jan 1996 12:45:09 +0100 | clasohm | added warning for databases made with set MAKE_HTML | changeset | files |
| Tue, 23 Jan 1996 14:25:55 +0100 | nipkow | Added vcwp | changeset | files |
| Tue, 23 Jan 1996 11:33:46 +0100 | paulson | Renamed letI to LetI (for consistency) | changeset | files |
| Tue, 23 Jan 1996 11:27:29 +0100 | paulson | Added discussion of "let" and pattern-matching | changeset | files |
| Tue, 23 Jan 1996 11:10:39 +0100 | paulson | Stylistic changes to discussion of pattern-matching | changeset | files |