diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-10-15 16:46:02 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-10-15 16:46:02 +0000 |
| commit | a414efcb69a3d906f08050e020726cc19f034336 (patch) | |
| tree | 5a72bf12b3c04994f2c51ceff859d63983149c84 /src/boot | |
| parent | 6c715d9b21d64a8d6e46563d238c5526cab811a3 (diff) | |
| download | open-axiom-a414efcb69a3d906f08050e020726cc19f034336.tar.gz | |
* ast.boot.pamphlet (bfSUBLIS1): Return fix point.
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/ChangeLog | 4 | ||||
| -rw-r--r-- | src/boot/ast.boot.pamphlet | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/src/boot/ChangeLog b/src/boot/ChangeLog index 56258d27..5354e39f 100644 --- a/src/boot/ChangeLog +++ b/src/boot/ChangeLog @@ -1,3 +1,7 @@ +2007-10-15 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * ast.boot.pamphlet (bfSUBLIS1): Return fix point. + 2007-10-14 Gabriel Dos Reis <gdr@cs.tamu.edu> * tokens.boot.pamphlet: SHOEEQ and Old Boot EQUAL are know to diff --git a/src/boot/ast.boot.pamphlet b/src/boot/ast.boot.pamphlet index 761175bc..2d0b7e64 100644 --- a/src/boot/ast.boot.pamphlet +++ b/src/boot/ast.boot.pamphlet @@ -447,7 +447,7 @@ bfSUBLIS(p,e)== bfSUBLIS1(p,e)== null p =>e f:=CAR p - EQ(CAR f,e)=>CDR f + EQ(CAR f,e)=> bfSUBLIS(p, CDR f) bfSUBLIS1(cdr p,e) defSheepAndGoats(x)== |