| 1999-09-21 | nipkow | 1999-09-21 | Mod because of new solver interface. | file | diff | annotate |
| 1999-02-03 | paulson | 1999-02-03 | standard spelling: type-checking | file | diff | annotate |
| 1999-01-19 | paulson | 1999-01-19 | removal of the (thm list) argument of mk_cases | file | diff | annotate |
| 1999-01-12 | wenzelm | 1999-01-12 | eliminated global/local names; | file | diff | annotate |
| 1999-01-12 | wenzelm | 1999-01-12 | eliminated tthm type and Attribute structure; | file | diff | annotate |
| 1998-12-28 | paulson | 1998-12-28 | revised inductive definition package | file | diff | annotate |