| Fri, 04 Jul 1997 11:57:33 +0200 | paulson | New comments on how to deal with unproved termination conditions | changeset | files |
| Fri, 04 Jul 1997 11:56:49 +0200 | paulson | Fixed comments | changeset | files |
| Fri, 04 Jul 1997 11:56:18 +0200 | paulson | Moved MLWorks.ML to its proper place, directory ML-Systems. | changeset | files |
| Fri, 04 Jul 1997 11:54:43 +0200 | paulson | Automatic update | changeset | files |
| Thu, 03 Jul 1997 17:21:14 +0200 | paulson | Modified the \tydx command to set types in italics instead of \tt | changeset | files |
| Thu, 03 Jul 1997 17:20:07 +0200 | paulson | Some LaTeX-2e primitives such as \texttt | changeset | files |
| Thu, 03 Jul 1997 17:17:45 +0200 | paulson | Added documentation for recdef, and tidied some other material | changeset | files |
| Thu, 03 Jul 1997 17:10:50 +0200 | paulson | Updated references | changeset | files |