| Sat, 27 May 1995 16:10:10 +0200 | nipkow | Moved Relation from Integ to main HOL. | file | diff | annotate |
| Mon, 22 May 1995 15:58:57 +0200 | nipkow | Added Park induction to Lfp. | file | diff | annotate |
| Sun, 16 Apr 1995 11:55:03 +0200 | nipkow | Brought in line with new organization of IOA. | file | diff | annotate |
| Thu, 13 Apr 1995 15:03:07 +0200 | lcp | Simplified using pattern replacements. | file | diff | annotate |
| Wed, 15 Mar 1995 10:34:47 +0100 | lcp | Now calls exit_use instead of use, for prompt failure if errors are detected. | file | diff | annotate |
| Wed, 08 Mar 1995 17:23:07 +0100 | nipkow | Added dependencies on ../Provers/hypsubst.ML and removed those on | file | diff | annotate |
| Fri, 03 Mar 1995 12:02:25 +0100 | clasohm | new version of HOL with curried function application | file | diff | annotate |