| Mon, 20 Jun 2005 22:13:59 +0200 | wenzelm | get_thm(s): Name; | file | diff | annotate |
| Thu, 26 May 2005 10:05:28 +0200 | kleing | cleaned up select_match | file | diff | annotate |
| Wed, 25 May 2005 11:18:02 +0200 | kleing | more cleanup | file | diff | annotate |
| 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 |