1997-06-03 | paulson | More de-HOLification: using Free, Const, etc. instead of mk_var, mk_const | file | diff | annotate |
1997-05-26 | paulson | Deleted unused functions | file | diff | annotate |
1997-05-22 | paulson | New headers and other minor changes | 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 |
1997-01-03 | paulson | Conversion to Basis Library (using prs instead of output) | file | diff | annotate |
1996-10-18 | paulson | Konrad Slind's TFL | file | diff | annotate |