| Wed, 31 Aug 2005 15:46:44 +0200 |
wenzelm |
refer to theory instead of low-level tsig;
|
file |
diff |
annotate
|
| Thu, 18 Aug 2005 11:17:41 +0200 |
wenzelm |
use theory instead of obsolete Sign.sg;
|
file |
diff |
annotate
|
| Mon, 01 Aug 2005 03:27:31 +0200 |
kleing |
Ordering is now: first by number of assumptions, second by the substitution size.
|
file |
diff |
annotate
|
| Wed, 20 Jul 2005 07:40:23 +0200 |
kleing |
Sort search results in order of relevance, where relevance =
|
file |
diff |
annotate
|
| 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
|