| Fri, 14 Oct 2005 19:55:47 +0200 |
wneuper |
went on with EqSystem
start_Take
|
changeset |
files
|
| Thu, 13 Oct 2005 19:46:05 +0200 |
wneuper |
redesigning copy-named commented at 'type met ', finished
start_Take
|
changeset |
files
|
| Thu, 13 Oct 2005 19:04:27 +0200 |
wneuper |
redesigning copy-named, intermediate
start_Take
|
changeset |
files
|
| Thu, 13 Oct 2005 16:12:13 +0200 |
wneuper |
redesigning copy-named, intermediate
start_Take
|
changeset |
files
|
| Thu, 13 Oct 2005 16:09:14 +0200 |
wneuper |
redesigning copy-named, intermediate
start_Take
|
changeset |
files
|
| Thu, 13 Oct 2005 08:52:45 +0200 |
wneuper |
added type preori for redesigning copy-named
start_Take
|
changeset |
files
|
| Thu, 13 Oct 2005 06:46:22 +0200 |
wneuper |
reestablished concept 'copy-named' (which seems notyet thouroughly designe)
start_Take
|
changeset |
files
|
| Wed, 12 Oct 2005 19:59:26 +0200 |
wneuper |
debugged match_ags (error from EqSystem)
start_Take
|
changeset |
files
|
| Mon, 10 Oct 2005 19:28:21 +0200 |
wneuper |
added test '-- refine [linear,system]--', ok
start_Take
|
changeset |
files
|
| Fri, 07 Oct 2005 19:53:14 +0200 |
wneuper |
polished systest/ME/ptyps.sml
start_Take
|
changeset |
files
|
| Fri, 07 Oct 2005 19:26:34 +0200 |
wneuper |
shifted systest/refine.sml --> smltest/ME/ptyps.sml
start_Take
|
changeset |
files
|
| Fri, 07 Oct 2005 19:18:20 +0200 |
wneuper |
renamed smltest/ME/modspec.sml to calchead.sml according to sml/..
start_Take
|
changeset |
files
|
| Fri, 07 Oct 2005 18:41:35 +0200 |
wneuper |
completed pbls in EqSystem
start_Take
|
changeset |
files
|
| Fri, 07 Oct 2005 18:04:28 +0200 |
wneuper |
before changing sign. of occur_exactly_in
start_Take
|
changeset |
files
|
| Fri, 07 Oct 2005 17:04:03 +0200 |
wneuper |
solve EqSystem by rewrite_ finished, tested
start_Take
|
changeset |
files
|
| Fri, 07 Oct 2005 16:45:57 +0200 |
wneuper |
isolate_bdvs for EqSystem finished and tested;
start_Take
|
changeset |
files
|
| Fri, 07 Oct 2005 16:43:46 +0200 |
wneuper |
adding isolate_bdvs for EqSystem, finished and tested;
start_Take
|
changeset |
files
|
| Fri, 07 Oct 2005 16:05:00 +0200 |
wneuper |
adding isolate_bdvs for EqSystem, intermediate
start_Take
|
changeset |
files
|
| Fri, 07 Oct 2005 15:28:09 +0200 |
wneuper |
added get_pair matching function with 3 args
start_Take
|
changeset |
files
|
| Fri, 07 Oct 2005 10:38:29 +0200 |
wneuper |
adding isolate_bdvs for EqSystem, intermediate
start_Take
|
changeset |
files
|
| Thu, 06 Oct 2005 20:41:44 +0200 |
wneuper |
adding isolate_bdvs for EqSystem, intermediate
start_Take
|
changeset |
files
|
| Fri, 30 Sep 2005 19:22:57 +0200 |
wneuper |
Rls normalize_system under construction
start_Take
|
changeset |
files
|
| Fri, 30 Sep 2005 18:31:41 +0200 |
wneuper |
Rls normalize_system under construction
start_Take
|
changeset |
files
|
| Fri, 30 Sep 2005 17:26:25 +0200 |
wneuper |
Rls normalize_system under construction
start_Take
|
changeset |
files
|
| Fri, 30 Sep 2005 17:01:15 +0200 |
wneuper |
eval_order_system added
start_Take
|
changeset |
files
|
| Fri, 30 Sep 2005 12:47:24 +0200 |
wneuper |
make [EqSystem,normalize,2x2] run, intermediate state
start_Take
|
changeset |
files
|
| Fri, 30 Sep 2005 12:05:27 +0200 |
wneuper |
intermediately saving a blind correction
start_Take
|
changeset |
files
|
| Fri, 30 Sep 2005 10:56:30 +0200 |
wneuper |
cleaned descriptions solution, equalities for EqSystem
start_Take
|
changeset |
files
|
| Fri, 30 Sep 2005 06:51:51 +0200 |
wneuper |
syntax error by fiddling around
start_Take
|
changeset |
files
|
| Fri, 30 Sep 2005 06:40:55 +0200 |
wneuper |
equalities is used in max-expl
start_Take
|
changeset |
files
|
| Thu, 29 Sep 2005 19:35:34 +0200 |
wneuper |
implement EqSystem pbls, mets; intermediate
start_Take
|
changeset |
files
|
| Thu, 29 Sep 2005 17:50:08 +0200 |
wneuper |
cleanup identifiers for rulesets
start_Take
|
changeset |
files
|
| Thu, 29 Sep 2005 17:37:28 +0200 |
wneuper |
cleanup identifiers for rulesets
start_Take
|
changeset |
files
|
| Thu, 29 Sep 2005 17:30:36 +0200 |
wneuper |
cleanup identifiers for rulesets
start_Take
|
changeset |
files
|
| Mon, 26 Sep 2005 19:15:05 +0200 |
wneuper |
eval_occur_exactly_in for EqSystem added
start_Take
|
changeset |
files
|
| Sat, 24 Sep 2005 09:55:37 +0200 |
wneuper |
occur_exactly_in for EqSystem started
start_Take
|
changeset |
files
|
| Thu, 22 Sep 2005 17:12:05 +0200 |
wneuper |
renamed System to EqSystem
start_Take
|
changeset |
files
|
| Thu, 22 Sep 2005 15:12:25 +0200 |
wneuper |
'handle_leaf' finished: currying Substitute ok, trace_script ok.
start_Take
|
changeset |
files
|
| Mon, 19 Sep 2005 21:20:50 +0200 |
wneuper |
'handle_leaf' intermediate
start_Take
|
changeset |
files
|
| Mon, 19 Sep 2005 20:34:18 +0200 |
wneuper |
'handle_leaf' intermediate
start_Take
|
changeset |
files
|
| Mon, 19 Sep 2005 19:56:58 +0200 |
wneuper |
'handle_leaf' intermediate
start_Take
|
changeset |
files
|
| Mon, 19 Sep 2005 19:22:13 +0200 |
wneuper |
'handle_leaf' intermediate
start_Take
|
changeset |
files
|
| Fri, 16 Sep 2005 19:46:23 +0200 |
wneuper |
'handle_leaf' implemented, works partially, thus still not used
start_Take
|
changeset |
files
|
| Fri, 16 Sep 2005 19:22:38 +0200 |
wneuper |
'handle_leaf' runs, eval_listexpr_ stil 2-times called
start_Take
|
changeset |
files
|
| Fri, 16 Sep 2005 19:01:49 +0200 |
wneuper |
'handle_leaf' runs, call not yet cleaned
start_Take
|
changeset |
files
|
| Fri, 16 Sep 2005 18:53:49 +0200 |
wneuper |
prepared for 'handle_leaf'
start_Take
|
changeset |
files
|
| Fri, 16 Sep 2005 18:02:27 +0200 |
wneuper |
completed srls for 'IntegrierenUnd..'
start_Take
|
changeset |
files
|
| Fri, 16 Sep 2005 16:33:13 +0200 |
wneuper |
correction 'rewrite__set_ called with 'Erls' for ..
start_Take
|
changeset |
files
|
| Wed, 14 Sep 2005 20:28:03 +0200 |
wneuper |
found difference with trace_rewrite:= true / false
start_Take
|
changeset |
files
|
| Tue, 13 Sep 2005 19:16:01 +0200 |
wneuper |
struggling: IntegrierenUndKonstanteBestimmen behaves
start_Take
|
changeset |
files
|
| Tue, 13 Sep 2005 18:39:09 +0200 |
wneuper |
struggling with eval_listexpr_ for Biegelinie
start_Take
|
changeset |
files
|
| Tue, 13 Sep 2005 16:59:48 +0200 |
wneuper |
struggling with eval_listexpr_ for Biegelinie
start_Take
|
changeset |
files
|
| Tue, 13 Sep 2005 14:09:13 +0200 |
wneuper |
considering Take as 'initac'
start_Take
|
changeset |
files
|
| 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
|