| Tue, 29 Aug 2006 11:43:53 +0200 |
preparing SK: improve reverse rewrite cancel_p, intermediate state
|
file | diff | annotate |
| Fri, 25 Aug 2006 16:46:20 +0200 |
repair reverse rewrite; has been broken by extending 'type rule' with 'Rls_'
|
file | diff | annotate |
| Thu, 24 Aug 2006 12:51:16 +0200 |
prepare for SK; cleanup files
|
file | diff | annotate |
| Wed, 23 Aug 2006 09:15:43 +0200 |
preparing SK06, before 'interSteps for cancel_p'
|
file | diff | annotate |
| Thu, 20 Jul 2006 16:09:41 +0200 |
sml: 'type met' added {guh, authors, ...}, missing: check_guh_unique, tests
|
file | diff | annotate |
| Thu, 20 Jul 2006 10:54:50 +0200 |
sml: 'type pbt' added {guh, authors, ...}, missing: check_guh_unique, tests
|
file | diff | annotate |
| Mon, 17 Jul 2006 10:17:33 +0200 |
sml: thydata2xml goes through
|
file | diff | annotate |
| Sat, 10 Jun 2006 09:20:03 +0200 |
mv ME/reverse-rew.sml ME/rewtools.sml for getContextToThy
|
file | diff | annotate |
| Wed, 10 May 2006 19:34:48 +0200 |
make interSteps run with norm_Rational
|
file | diff | annotate |
| Fri, 20 Jan 2006 18:46:44 +0100 |
prepare thy_hierarchy with minimal effort: paire ruleset'
|
file | diff | annotate |
| Tue, 03 Jan 2006 18:45:32 +0100 |
finished pbl 'simplify'
|
file | diff | annotate |
| Tue, 03 Jan 2006 17:30:06 +0100 |
prepare pbl 'simplify'
|
file | diff | annotate |
| Tue, 03 Jan 2006 16:51:20 +0100 |
prepare pbl 'simplify'
|
file | diff | annotate |
| Fri, 28 Oct 2005 19:01:14 +0200 |
completed rls reduce_0_1_2
|
file | diff | annotate |
| Fri, 28 Oct 2005 15:45:13 +0200 |
simplify_Integral finished
|
file | diff | annotate |
| Fri, 28 Oct 2005 11:22:24 +0200 |
working on simplify_Integral, copied IsacKnowledge/* due to error in MG
|
file | diff | annotate |
| Thu, 27 Oct 2005 17:08:00 +0200 |
redid rls simplify_Integral
|
file | diff | annotate |
| Thu, 29 Sep 2005 17:50:08 +0200 |
cleanup identifiers for rulesets
|
file | diff | annotate |
| Thu, 29 Sep 2005 17:37:28 +0200 |
cleanup identifiers for rulesets
|
file | diff | annotate |
| Thu, 17 Apr 2003 18:01:03 +0200 |
neues cvs-verzeichnis
|
file | diff | annotate |
| Thu, 06 Sep 2007 17:53:52 +0200 |
followup SKs corrections + preparations for further work
|
file | diff | annotate |