Mon, 06 Feb 2006 20:59:06 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 01 Dec 2005 22:03:04 +0100 |
wenzelm |
ProofContext.lthms_containing: suppress obvious duplicates;
|
file |
diff |
annotate
|
Wed, 16 Nov 2005 17:45:30 +0100 |
wenzelm |
tuned Pattern.match/unify;
|
file |
diff |
annotate
|
Fri, 21 Oct 2005 18:14:52 +0200 |
wenzelm |
do not export find_thms;
|
file |
diff |
annotate
|
Fri, 07 Oct 2005 23:29:00 +0200 |
wenzelm |
removed obsolete comment;
|
file |
diff |
annotate
|
Tue, 04 Oct 2005 19:01:37 +0200 |
wenzelm |
minor tweaks for Poplog/ML;
|
file |
diff |
annotate
|
Tue, 04 Oct 2005 16:47:40 +0200 |
wenzelm |
find_theorems: support * wildcard in name: criterion;
|
file |
diff |
annotate
|
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
|