| Tue, 13 Sep 2005 11:05:56 +0200 |
wneuper |
found a 'BAD DESIGN ERROR' in smltest/ME/script
start_Take
|
changeset |
files
|
| Mon, 12 Sep 2005 20:15:24 +0200 |
wneuper |
Simplify.thy / .ML added, methods not yet parsed.
start_Take
|
changeset |
files
|
| Thu, 08 Sep 2005 20:48:39 +0200 |
wneuper |
rewrite_terms_ repaired+tested,
start_Take
|
changeset |
files
|
| Thu, 08 Sep 2005 09:08:54 +0200 |
wneuper |
split systest/list_rls.sml into smltest/IsacKnowledge/diffapp.sml
start_Take
|
changeset |
files
|
| Thu, 08 Sep 2005 08:50:44 +0200 |
wneuper |
changed Substitute' subte=term list, intermediate
start_Take
|
changeset |
files
|
| Wed, 07 Sep 2005 21:42:55 +0200 |
wneuper |
changed Substitute' subte=term list, intermediate
start_Take
|
changeset |
files
|
| Wed, 07 Sep 2005 15:07:08 +0200 |
wneuper |
Atools.argument_of tested OK
start_Take
|
changeset |
files
|
| Wed, 07 Sep 2005 14:34:02 +0200 |
wneuper |
added Atools.argument_of, intermediate
start_Take
|
changeset |
files
|
| Wed, 07 Sep 2005 10:11:06 +0200 |
wneuper |
implement simplify_Integral finished
start_Take
|
changeset |
files
|
| Wed, 07 Sep 2005 09:44:06 +0200 |
wneuper |
implement simplify_Integral, intermediate
start_Take
|
changeset |
files
|
| Mon, 05 Sep 2005 12:51:55 +0200 |
wneuper |
considering normalform for equation system
start_Take
|
changeset |
files
|
| Mon, 05 Sep 2005 09:07:17 +0200 |
wneuper |
correcte applicable_in: is_pblobj inhibited Rewrite etc. on
start_Take
|
changeset |
files
|
| Sun, 04 Sep 2005 15:53:56 +0200 |
wneuper |
repaired applicable_in;
start_Take
|
changeset |
files
|
| Sun, 04 Sep 2005 13:40:02 +0200 |
wneuper |
corrected error with locate_gen lev_on pos in Apply_Method
start_Take
|
changeset |
files
|
| Sun, 04 Sep 2005 12:30:26 +0200 |
wneuper |
improved thys for rootpbls
start_Take
|
changeset |
files
|
| Sat, 03 Sep 2005 23:00:18 +0200 |
wneuper |
reorganized thys for subpbls, see definitions.sml
start_Take
|
changeset |
files
|
| Sat, 03 Sep 2005 14:44:34 +0200 |
wneuper |
Biegelinie#Script, push rootthy into subpbls, intermediate
start_Take
|
changeset |
files
|
| Sat, 03 Sep 2005 12:52:16 +0200 |
wneuper |
Biegelinie#Script, push rootthy into subpbls, intermediate
start_Take
|
changeset |
files
|
| Sat, 03 Sep 2005 11:31:57 +0200 |
wneuper |
Biegelinie#Script intermediate, investigate thy used in subpbls
start_Take
|
changeset |
files
|
| Sat, 03 Sep 2005 09:06:43 +0200 |
wneuper |
code polishing
start_Take
|
changeset |
files
|
| Fri, 02 Sep 2005 22:55:26 +0200 |
wneuper |
Biegelinie#Script intermediate,
start_Take
|
changeset |
files
|
| Fri, 02 Sep 2005 10:06:03 +0200 |
wneuper |
Biegelinie#Script intermediate,
start_Take
|
changeset |
files
|
| Fri, 02 Sep 2005 09:55:13 +0200 |
wneuper |
Biegelinie#Script intermediate,
start_Take
|
changeset |
files
|
| Fri, 02 Sep 2005 08:55:42 +0200 |
wneuper |
Biegelinie#Script intermediate,
start_Take
|
changeset |
files
|
| Thu, 01 Sep 2005 21:18:56 +0200 |
wneuper |
Biegelinie#Script intermediate, still problem with math_args
start_Take
|
changeset |
files
|
| Thu, 01 Sep 2005 12:48:54 +0200 |
wneuper |
Biegelinie#Script intermediate, (once more) removed DG
start_Take
|
changeset |
files
|
| Thu, 01 Sep 2005 11:39:05 +0200 |
wneuper |
itms2args repaired
start_Take
|
changeset |
files
|
| Thu, 01 Sep 2005 07:16:29 +0200 |
wneuper |
Biegelinie#Script intermediate:
start_Take
|
changeset |
files
|
| Thu, 01 Sep 2005 06:30:08 +0200 |
wneuper |
Biegelinie#Script intermediate: found diffapp.sml not working
start_Take
|
changeset |
files
|
| Wed, 31 Aug 2005 21:10:36 +0200 |
wneuper |
Biegelinie#Script intermediate: FunktionsVariable added,
start_Take
|
changeset |
files
|
| Wed, 31 Aug 2005 19:58:02 +0200 |
wneuper |
Biegelinie#Script intermediate
start_Take
|
changeset |
files
|
| Wed, 31 Aug 2005 11:33:22 +0200 |
wneuper |
Biegelinie#Script intermediate
start_Take
|
changeset |
files
|
| Mon, 29 Aug 2005 17:24:34 +0200 |
wneuper |
Biegelinie#Script intermediate
start_Take
|
changeset |
files
|
| Mon, 29 Aug 2005 16:58:33 +0200 |
wneuper |
Biegelinie#Problems intermediate
start_Take
|
changeset |
files
|
| Mon, 29 Aug 2005 16:57:42 +0200 |
wneuper |
kbtest removed (again?): actual versions are in systest/IsacKnowledge for some time
start_Take
|
changeset |
files
|
| Mon, 29 Aug 2005 14:42:14 +0200 |
wneuper |
Biegelinie#Problems intermediate
start_Take
|
changeset |
files
|
| Sun, 28 Aug 2005 16:53:19 +0200 |
wneuper |
corrected error in Add_Find "antiDerivativeName M_b"
start_Take
|
changeset |
files
|
| Sun, 28 Aug 2005 16:42:00 +0200 |
wneuper |
search error in Add_Find "antiDerivativeName M_b"
start_Take
|
changeset |
files
|
| Sun, 28 Aug 2005 16:09:45 +0200 |
wneuper |
Scripts/scrtools#is_dsc improved
start_Take
|
changeset |
files
|
| Sun, 28 Aug 2005 13:47:10 +0200 |
wneuper |
prohibit "FF + c = x ^^^ 3 / 3 + x + c", intermediate state
start_Take
|
changeset |
files
|
| Sun, 28 Aug 2005 10:19:35 +0200 |
wneuper |
Assumptions made 'distinct' in rewrite__, rewrite_set_ etc.
start_Take
|
changeset |
files
|
| Fri, 26 Aug 2005 18:14:36 +0200 |
wneuper |
Biegelinie, EqSystem added
start_Take
|
changeset |
files
|
| Fri, 26 Aug 2005 16:37:39 +0200 |
wneuper |
init_scrstate now optionally takes Finds,too,
start_Take
|
changeset |
files
|
| Tue, 23 Aug 2005 18:44:06 +0200 |
wneuper |
make Take works in ["Diff","integration"]
start_Take
|
changeset |
files
|
| Tue, 23 Aug 2005 17:08:58 +0200 |
wneuper |
make Take work, intermediate state
start_Take
|
changeset |
files
|
| Tue, 23 Aug 2005 14:53:30 +0200 |
wneuper |
make Take work, intermediate state
start_Take
|
changeset |
files
|
| Mon, 22 Aug 2005 17:03:25 +0200 |
wneuper |
stacs Take, Substitute added
start_Take
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer start
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|
| Thu, 17 Apr 2003 18:01:03 +0200 |
agriesma |
neues cvs-verzeichnis
griesmayer
|
changeset |
files
|