| 1997-06-23 | paulson | Removal of COND_CONG, which is just if_cong RS eq_reflection | file | diff | annotate |
| 1997-05-22 | paulson | New headers and other minor changes | file | diff | annotate |
| 1997-05-21 | paulson | Code tidying: removal of C combinator | file | diff | annotate |
| 1997-05-20 | paulson | Removal of redundant code (unused or already present in Isabelle. | file | diff | annotate |
| 1997-05-15 | paulson | TFL now integrated with HOL (more work needed) | file | diff | annotate |
| 1996-10-18 | paulson | Konrad Slind's TFL | file | diff | annotate |