diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-21 19:33:24 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-21 19:33:24 +0000 |
| commit | 67eb28e8fcfd246d7f149c00bdd3089e2f606676 (patch) | |
| tree | 156e78c30a13c788a7bb194aba20fb7ac8a6996b /src/algebra/domain.spad.pamphlet | |
| parent | 0fd61f7b731145923414f6fe21a511f2304bd9d9 (diff) | |
| download | open-axiom-67eb28e8fcfd246d7f149c00bdd3089e2f606676.tar.gz | |
* algebra/catdef.spad.pamphlet (before?$SetCategory): New.
Diffstat (limited to 'src/algebra/domain.spad.pamphlet')
| -rw-r--r-- | src/algebra/domain.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/domain.spad.pamphlet b/src/algebra/domain.spad.pamphlet index 8cb16c5e..ba2bd7be 100644 --- a/src/algebra/domain.spad.pamphlet +++ b/src/algebra/domain.spad.pamphlet @@ -16,7 +16,7 @@ <<domain CTORKIND ConstructorKinid>>= )abbrev domain CTORKIND ConstructorKind ++ Author: Gabriel Dos Reis -++ Date Create: October 07, 2008. +++ Date Created: October 07, 2008. ++ Date Last Updated: October 07, 2008. ++ Related Constructors: ++ Description: |