| Tue, 30 Jan 1996 15:24:36 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Sat, 06 Jan 1996 14:04:12 +0100 | nipkow | removed reference to Nat thms in elim_rls. | file | diff | annotate |
| Tue, 02 Jan 1996 10:46:50 +0100 | paulson | Improving space efficiency of inductive/datatype definitions. | file | diff | annotate |
| Fri, 03 Mar 1995 12:02:25 +0100 | clasohm | new version of HOL with curried function application | file | diff | annotate |