| 1997-04-08 | nipkow | 1997-04-08 | Dep. on Provers/nat_transitive | file | diff | annotate |
| 1997-04-04 | slotosch | 1997-04-04 | Added Example Quot CVS ---------------------------------------------------------------------- | file | diff | annotate |
| 1997-04-04 | wenzelm | 1997-04-04 | added Quot examples; | file | diff | annotate |
| 1997-04-04 | paulson | 1997-04-04 | Added blast.ML as a dependency | file | diff | annotate |
| 1997-03-20 | wenzelm | 1997-03-20 | improved session names; | file | diff | annotate |
| 1997-03-20 | wenzelm | 1997-03-20 | isatool usedir; | file | diff | annotate |
| 1997-02-15 | oheimb | 1997-02-15 | cosmetic | file | diff | annotate |
| 1997-02-12 | wenzelm | 1997-02-12 | TFL: missing -q option! | file | diff | annotate |
| 1997-01-23 | wenzelm | 1997-01-23 | added AxClasses test; | file | diff | annotate |
| 1997-01-17 | nipkow | 1997-01-17 | Added W0 and modified MiniML. | file | diff | annotate |
| 1997-01-07 | wenzelm | 1997-01-07 | minor tuning; added Auth/Recur; | file | diff | annotate |
| 1996-12-18 | wenzelm | 1996-12-18 | IsaMakefile for HOL; | file | diff | annotate |