HELM Documentation

• Introduction
• The Project
• Progress Report
• HTML slides of an introduction of project HELM held at INRIA, Rocquencourt, on 05/06/2000
• Talk at the Middlesex college in London, Ontario, Canada on 7 december 2000[.tar.gz]