| Tue, 09 Oct 2007 00:20:13 +0200 | wenzelm | generic Syntax.pretty/string_of operations; | file | diff | annotate |
| Sun, 08 Jul 2007 19:51:58 +0200 | wenzelm | replaced exception TableFun/GraphFun.DUPS by TableFun/GraphFun.DUP; | file | diff | annotate |
| Thu, 05 Jul 2007 00:06:14 +0200 | wenzelm | avoid polymorphic equality; | file | diff | annotate |
| Mon, 07 May 2007 00:49:59 +0200 | wenzelm | simplified DataFun interfaces; | file | diff | annotate |
| Fri, 19 Jan 2007 22:08:15 +0100 | wenzelm | renamed Isar/term_style.ML to Thy/term_style.ML; | file | diff | annotate |