diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-09-27 00:51:33 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-09-27 00:51:33 +0000 |
| commit | a956f791537aa080285e6437a53fac69ff93b3b6 (patch) | |
| tree | b8a803d43e77692337a984b6b88f52039b7aaca7 /src/algebra/Makefile.in | |
| parent | d00d265eb3026c34cbcf10b47f5ea155ecbe62d7 (diff) | |
| download | open-axiom-a956f791537aa080285e6437a53fac69ff93b3b6.tar.gz | |
* algebra/free.spad.pamphlet (FreeMonoidCategory): New.
(FreeModule): Use it.
* algebra/xpoly.spad.pamphlet (OrderedFreeMonoid): Likewise.
Diffstat (limited to 'src/algebra/Makefile.in')
| -rw-r--r-- | src/algebra/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 4d3f88c8..6166e4f8 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -537,7 +537,7 @@ axiom_algebra_layer_9 = \ PTFUNC2 RADCAT RADCAT- RATRET RADUTIL UPXS2 \ XFALG ZLINDEP BBTREE \ ODEIFTBL NIPROB ODEPROB OPTPROB \ - PDEPROB COLOR SIG + PDEPROB COLOR SIG FMONCAT axiom_algebra_layer_9_nrlibs = \ |