| Mon, 01 Aug 2005 11:24:19 +0200 |
nipkow |
added map_filter lemmas
|
changeset |
files
|
| Mon, 01 Aug 2005 03:27:31 +0200 |
kleing |
Ordering is now: first by number of assumptions, second by the substitution size.
|
changeset |
files
|
| Sat, 30 Jul 2005 16:50:55 +0200 |
nipkow |
addedd ID line
|
changeset |
files
|
| Fri, 29 Jul 2005 19:47:41 +0200 |
avigad |
mentioned Ln in NEWS
|
changeset |
files
|
| Fri, 29 Jul 2005 19:47:34 +0200 |
avigad |
fixed minor typo in comments
|
changeset |
files
|
| Fri, 29 Jul 2005 19:47:27 +0200 |
avigad |
changed import to Ln
|
changeset |
files
|
| Fri, 29 Jul 2005 19:47:19 +0200 |
avigad |
added a new theory; properties of ln
|
changeset |
files
|
| Fri, 29 Jul 2005 16:16:44 +0200 |
wenzelm |
P.opt_locale_target;
|
changeset |
files
|
| Fri, 29 Jul 2005 15:20:29 +0200 |
paulson |
nameless theorems: better names, flag to omit them
|
changeset |
files
|
| Thu, 28 Jul 2005 17:56:27 +0200 |
paulson |
invents theorem names; also patches write_out_clasimp
|
changeset |
files
|
| Thu, 28 Jul 2005 17:55:39 +0200 |
paulson |
dead code
|
changeset |
files
|
| Thu, 28 Jul 2005 17:54:39 +0200 |
paulson |
new function trim_ends
|
changeset |
files
|
| Thu, 28 Jul 2005 17:54:22 +0200 |
paulson |
uniform treatment of variable prefixes
|
changeset |
files
|
| Thu, 28 Jul 2005 16:59:30 +0200 |
haftmann |
corrected some typos
|
changeset |
files
|
| Thu, 28 Jul 2005 16:54:19 +0200 |
paulson |
new droplet
|
changeset |
files
|
| Thu, 28 Jul 2005 16:26:59 +0200 |
quigley |
Added flag ResClasimp.use_simpset to allow exclusion of simpset rules from ATP problem files
|
changeset |
files
|