From 67eb28e8fcfd246d7f149c00bdd3089e2f606676 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 21 May 2009 19:33:24 +0000 Subject: * algebra/catdef.spad.pamphlet (before?$SetCategory): New. --- src/algebra/domain.spad.pamphlet | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/algebra/domain.spad.pamphlet') 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 @@ <>= )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: -- cgit v1.2.3