Thu, 29 Jun 1995 12:48:48 +0200 | clasohm | renamed CHOL to HOL | changeset | files |
Thu, 29 Jun 1995 12:34:16 +0200 | clasohm | renamed CHOL to HOL | changeset | files |
Thu, 29 Jun 1995 12:28:27 +0200 | clasohm | changed 'chol' labels to 'hol'; added a few parentheses | changeset | files |