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/ast.boot.pamphlet | |
| parent | 6c715d9b21d64a8d6e46563d238c5526cab811a3 (diff) | |
| download | open-axiom-a414efcb69a3d906f08050e020726cc19f034336.tar.gz | |
* ast.boot.pamphlet (bfSUBLIS1): Return fix point.
Diffstat (limited to 'src/boot/ast.boot.pamphlet')
| -rw-r--r-- | src/boot/ast.boot.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
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)== |