| 1996-02-05 | clasohm | expanded tabs; renamed subtype to typedef; | file | diff | annotate |
| 1995-10-04 | clasohm | added local simpsets; removed IOA from 'make test' | file | diff | annotate |
| 1995-03-03 | clasohm | new version of HOL with curried function application | file | diff | annotate |