| 1999-04-16 | wenzelm | 1999-04-16 | 'HOL/inductive' theory data; | file | diff | annotate |
| 1998-07-01 | wenzelm | 1998-07-01 | tuned Inductive.thy; | file | diff | annotate |
| 1998-06-30 | berghofe | 1998-06-30 | Adapted to new inductive definition package. | file | diff | annotate |
| 1996-07-15 | paulson | 1996-07-15 | New dummy .thy files to document dependencies | file | diff | annotate |
| 1995-07-25 | lcp | 1995-07-25 | Includes Sum.thy as a parent for mutual recursion | file | diff | annotate |
| 1995-03-03 | clasohm | 1995-03-03 | new version of HOL with curried function application | file | diff | annotate |