| Fri, 17 Nov 1995 12:19:21 +0100 | clasohm | changed simpset of "HOL" | file | diff | annotate |
| Thu, 16 Nov 1995 19:50:40 +0100 | nipkow | added rev_contrapos | file | diff | annotate |
| Fri, 03 Mar 1995 12:02:25 +0100 | clasohm | new version of HOL with curried function application | file | diff | annotate |