| 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
|
| Thu, 28 Jul 2005 15:20:06 +0200 |
wenzelm |
tuned gen_all, forall_elim_list, implies_intr_list, standard;
|
changeset |
files
|
| Thu, 28 Jul 2005 15:20:05 +0200 |
wenzelm |
Sign.typ_unify;
|
changeset |
files
|
| Thu, 28 Jul 2005 15:20:04 +0200 |
wenzelm |
Sign.typ_unify;
|
changeset |
files
|
| Thu, 28 Jul 2005 15:20:03 +0200 |
wenzelm |
typ_match, unify: canonical argument order;
|
changeset |
files
|
| Thu, 28 Jul 2005 15:20:02 +0200 |
wenzelm |
added weaken, adjust_maxidx_thm;
|
changeset |
files
|
| Thu, 28 Jul 2005 15:20:01 +0200 |
wenzelm |
check_overloading replaces datatype overloading;
|
changeset |
files
|