| Tue, 04 Oct 2005 19:01:37 +0200 |
wenzelm |
minor tweaks for Poplog/ML;
|
file |
diff |
annotate
|
| Thu, 29 Sep 2005 15:50:46 +0200 |
wenzelm |
export debug_bounds;
|
file |
diff |
annotate
|
| Thu, 29 Sep 2005 12:33:26 +0200 |
berghofe |
Simplifier now removes flex-flex constraints from theorem returned by prover.
|
file |
diff |
annotate
|
| Thu, 29 Sep 2005 00:58:58 +0200 |
wenzelm |
removed revert_bound;
|
file |
diff |
annotate
|
| Fri, 23 Sep 2005 22:21:54 +0200 |
wenzelm |
added mk_solver';
|
file |
diff |
annotate
|
| Tue, 20 Sep 2005 08:21:49 +0200 |
haftmann |
slight adaptions to library changes
|
file |
diff |
annotate
|
| Fri, 02 Sep 2005 15:54:47 +0200 |
haftmann |
some 'assoc' etc. refactoring
|
file |
diff |
annotate
|
| Wed, 31 Aug 2005 15:46:40 +0200 |
wenzelm |
refer to theory instead of low-level tsig;
|
file |
diff |
annotate
|
| Tue, 16 Aug 2005 12:51:07 +0200 |
nipkow |
simp_depth warning now mod 20, not mod 10 (too often)
|
file |
diff |
annotate
|
| Mon, 01 Aug 2005 19:20:39 +0200 |
wenzelm |
improved bounds: nameless Term.bound, recover names for output;
|
file |
diff |
annotate
|
| Thu, 28 Jul 2005 15:19:55 +0200 |
wenzelm |
Term.bound;
|
file |
diff |
annotate
|
| Fri, 15 Jul 2005 15:44:15 +0200 |
wenzelm |
tuned fold on terms;
|
file |
diff |
annotate
|
| Thu, 14 Jul 2005 19:28:24 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 13 Jul 2005 16:07:28 +0200 |
wenzelm |
export eq_rrule;
|
file |
diff |
annotate
|
| Fri, 01 Jul 2005 22:33:59 +0200 |
wenzelm |
decomp_simp: compare terms, not cterms;
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 18:35:27 +0200 |
wenzelm |
accomodate change of TheoryDataFun;
|
file |
diff |
annotate
|
| Mon, 13 Jun 2005 13:10:45 +0200 |
nipkow |
changed -1 back to 0
|
file |
diff |
annotate
|
| Sun, 12 Jun 2005 08:53:41 +0200 |
nipkow |
simp_depth now starts at -1 to make it start at 0 ;-)
|
file |
diff |
annotate
|
| Mon, 06 Jun 2005 19:09:49 +0200 |
nipkow |
Added the t = x "fix" - in (* ... *) :-(
|
file |
diff |
annotate
|
| Mon, 23 May 2005 11:14:58 +0200 |
nipkow |
tuned trace info (depth)
|
file |
diff |
annotate
|
| Fri, 04 Mar 2005 15:07:34 +0100 |
skalberg |
Removed practically all references to Library.foldr.
|
file |
diff |
annotate
|
| Thu, 03 Mar 2005 12:43:01 +0100 |
skalberg |
Move towards standard functions.
|
file |
diff |
annotate
|
| Sun, 13 Feb 2005 17:15:14 +0100 |
skalberg |
Deleted Library.option type.
|
file |
diff |
annotate
|
| Mon, 24 Jan 2005 18:11:06 +0100 |
berghofe |
Removed unnecessary subsignature checks to speed up rewriting.
|
file |
diff |
annotate
|
| Mon, 18 Oct 2004 11:43:40 +0200 |
berghofe |
Replaced list of bound variables in simpset by maximal index of bound
|
file |
diff |
annotate
|
| Sat, 11 Sep 2004 18:35:43 +0200 |
nipkow |
undoing previous change
|
file |
diff |
annotate
|
| Fri, 10 Sep 2004 00:19:15 +0200 |
nipkow |
new forward deduction capability for simplifier
|
file |
diff |
annotate
|
| Fri, 30 Jul 2004 10:41:52 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Sun, 11 Jul 2004 20:34:50 +0200 |
wenzelm |
improved print_ss; tuned;
|
file |
diff |
annotate
|
| Thu, 08 Jul 2004 19:33:51 +0200 |
wenzelm |
major cleanup; got rid of obsolete meta_simpset;
|
file |
diff |
annotate
|