| Sat, 05 Mar 2005 17:26:21 +0100 |
sml-050305b-cut_tree: after sticky tags
|
file | diff | annotate |
| Sat, 05 Mar 2005 14:36:49 +0100 |
sml-050225c-inter-050305e: without sticky tags
|
file | diff | annotate |
| Sat, 05 Mar 2005 14:18:11 +0100 |
sml-050304g-cut_tree-050305c: sticky tags removed for ME/ctree, systest/auto-inform.sml
|
file | diff | annotate |
| Fri, 04 Mar 2005 19:02:06 +0100 |
sml-050304b-inform: all tests ok except 3 in auto-inform.sml
|
file | diff | annotate |
| Thu, 03 Mar 2005 17:54:09 +0100 |
sml-050303a-inter-cappend: intermediate state in work in error in cappend [3,2,1]
|
file | diff | annotate |
| Fri, 25 Feb 2005 09:56:31 +0100 |
sml-050225b: after reorganisation of code in ME/ctree, all tests ok;
|
file | diff | annotate |
| Tue, 22 Feb 2005 17:03:43 +0100 |
sml-050222a-move_dn1: intermediate state for new get_allpos
|
file | diff | annotate |
| Mon, 21 Feb 2005 19:01:35 +0100 |
sml-050221-get_allpos: tests OK,
|
file | diff | annotate |
| Sun, 20 Feb 2005 13:55:25 +0100 |
sml-050219c-cappend: old cut_tree, tests ok;
|
file | diff | annotate |
| Sat, 19 Feb 2005 23:34:39 +0100 |
sml-050219b-cappend: old cut_tree, tests ok;
|
file | diff | annotate |
| Sat, 19 Feb 2005 18:57:29 +0100 |
sml-050219a-cappend: old cut_tree, tests ok
|
file | diff | annotate |
| Tue, 15 Feb 2005 10:32:34 +0100 |
sml-050215a-interSteps: corrected an error
|
file | diff | annotate |
| Fri, 11 Feb 2005 17:06:17 +0100 |
sml050211b
|
file | diff | annotate |
| Thu, 10 Feb 2005 17:13:10 +0100 |
sml-050210c
|
file | diff | annotate |
| Sun, 16 Jan 2005 21:15:01 +0100 |
sml: tests appenFormula, replaceFormula almost ok
|
file | diff | annotate |
| Sat, 23 Oct 2004 10:28:20 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Thu, 24 Jun 2004 22:02:54 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Tue, 15 Jun 2004 16:55:03 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Wed, 09 Jun 2004 23:16:47 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Wed, 07 Apr 2004 15:11:33 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Tue, 16 Mar 2004 15:21:53 +0100 |
*** empty log message ***
|
file | diff | annotate |
| Sun, 07 Mar 2004 19:08:32 +0100 |
*** empty log message ***
|
file | diff | annotate |
| Fri, 20 Feb 2004 14:10:10 +0100 |
*** empty log message ***
|
file | diff | annotate |
| Mon, 09 Feb 2004 19:46:32 +0100 |
*** empty log message ***
|
file | diff | annotate |
| Sun, 21 Dec 2003 23:52:50 +0100 |
*** empty log message ***
|
file | diff | annotate |
| Thu, 18 Dec 2003 20:32:07 +0100 |
*** empty log message ***
|
file | diff | annotate |
| Sat, 13 Dec 2003 15:53:13 +0100 |
*** empty log message ***
|
file | diff | annotate |
| Mon, 08 Dec 2003 17:11:48 +0100 |
*** empty log message ***
|
file | diff | annotate |
| Mon, 17 Nov 2003 20:03:49 +0100 |
*** empty log message ***
|
file | diff | annotate |
| Fri, 14 Nov 2003 15:49:52 +0100 |
*** empty log message ***
|
file | diff | annotate |
| Thu, 13 Nov 2003 12:08:43 +0100 |
*** empty log message ***
|
file | diff | annotate |
| Sun, 09 Nov 2003 18:52:30 +0100 |
*** empty log message ***
|
file | diff | annotate |
| Wed, 05 Nov 2003 23:20:43 +0100 |
*** empty log message ***
|
file | diff | annotate |
| Mon, 03 Nov 2003 21:20:44 +0100 |
*** empty log message ***
|
file | diff | annotate |
| Fri, 24 Oct 2003 18:20:30 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Sun, 12 Oct 2003 16:24:54 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Tue, 09 Sep 2003 09:00:24 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Mon, 01 Sep 2003 08:49:23 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Fri, 03 Nov 2006 10:51:51 +0100 |
"sym_thm ... [.]" fixed with "fun string_of_thmI"
|
file | diff | annotate |
| Wed, 30 Aug 2006 18:50:46 +0200 |
preparing SK: improved getTactic for "sym_..."
|
file | diff | annotate |
| Wed, 30 Aug 2006 12:16:45 +0200 |
preparing SK: improved reverse rewrite cancel_p
|
file | diff | annotate |
| Wed, 23 Aug 2006 19:19:42 +0200 |
prepare for SK; rev.rew. postponed until rewrite to lrd is possible
|
file | diff | annotate |
| Thu, 27 Jul 2006 12:27:32 +0200 |
on inserting a formula in a calculation cut the tree down to result
|
file | diff | annotate |
| Wed, 26 Jul 2006 19:01:11 +0200 |
debugging setContext; pbl ok
|
file | diff | annotate |
| Wed, 26 Jul 2006 14:16:47 +0200 |
sml: improved initContext Thy_
|
file | diff | annotate |
| Mon, 24 Jul 2006 19:58:36 +0200 |
preparing for rewriter returning location of applying a Thm or Calc;
|
file | diff | annotate |
| Mon, 24 Jul 2006 17:16:59 +0200 |
preparing for rewriter returning location of applying a Thm or Calc
|
file | diff | annotate |
| Wed, 19 Jul 2006 16:49:06 +0200 |
cleared doubled code on 'fun subst2str''
|
file | diff | annotate |
| Sat, 17 Jun 2006 15:38:27 +0200 |
sml: matchTheory and getContextToThy, tested ok
|
file | diff | annotate |
| Sat, 17 Jun 2006 06:39:58 +0200 |
sml: matchTheory and getContextToThy, intermediately
|
file | diff | annotate |
| Fri, 16 Jun 2006 13:58:28 +0200 |
sml: matchTheory and getContextToThy, intermediately
|
file | diff | annotate |
| Fri, 16 Jun 2006 09:13:26 +0200 |
sml: matchTheory and getContextToThy, intermediately
|
file | diff | annotate |
| Sun, 11 Jun 2006 12:38:55 +0200 |
matchTheory and getContextToThy, intermediately
|
file | diff | annotate |
| Sun, 11 Jun 2006 11:57:48 +0200 |
mv systest/ctree.sml ../smltest/ME/ctree.sml;
|
file | diff | annotate |
| Sun, 11 Jun 2006 10:41:16 +0200 |
matchTheory and getContextToThy, intermediately
|
file | diff | annotate |
| Fri, 02 Jun 2006 18:20:21 +0200 |
for interSteps added to ruleset' and corrected fun lev_pred'
|
file | diff | annotate |
| Fri, 24 Feb 2006 17:15:34 +0100 |
modelProblem with complete_mod in case of Some cas
|
file | diff | annotate |
| Wed, 22 Feb 2006 11:15:38 +0100 |
removed argument from Model_Problem
|
file | diff | annotate |
| Sat, 24 Dec 2005 11:35:19 +0100 |
rename getElementsFromTo --> getFormulaeFromTo
|
file | diff | annotate |
| Thu, 15 Dec 2005 19:38:29 +0100 |
move_dn changed: observes Res =?= Frm.nxt
|
file | diff | annotate |