Wed, 25 May 2005 10:43:15 +0200 | kleing | renamed search criterion 'rewrite' to 'simp' | file | diff | annotate |
Wed, 25 May 2005 10:18:09 +0200 | kleing | removed obsolete findI, findE, findEs | file | diff | annotate |
Sun, 22 May 2005 19:26:16 +0200 | wenzelm | added read_criterion/pretty_criterion; | file | diff | annotate |
Sun, 22 May 2005 16:54:09 +0200 | wenzelm | Retrieve theorems from proof context -- improved version of | file | diff | annotate |