| 2007-10-09 | wenzelm | 2007-10-09 | generic Syntax.pretty/string_of operations; | file | diff | annotate |
| 2007-07-08 | wenzelm | 2007-07-08 | replaced exception TableFun/GraphFun.DUPS by TableFun/GraphFun.DUP; | file | diff | annotate |
| 2007-07-05 | wenzelm | 2007-07-05 | avoid polymorphic equality; | file | diff | annotate |
| 2007-05-07 | wenzelm | 2007-05-07 | simplified DataFun interfaces; | file | diff | annotate |
| 2007-01-19 | wenzelm | 2007-01-19 | renamed Isar/term_style.ML to Thy/term_style.ML; | file | diff | annotate |