From ab835d8eb3155905a07fe5ad92c9f41951f6dd36 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 10 Oct 2009 14:43:28 +0000
Subject: 	* algebra/void.spad.pamphlet (Void): Remove Rep definition.

---
 src/algebra/void.spad.pamphlet | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'src/algebra/void.spad.pamphlet')

diff --git a/src/algebra/void.spad.pamphlet b/src/algebra/void.spad.pamphlet
index fd27c702..fc8c8583 100644
--- a/src/algebra/void.spad.pamphlet
+++ b/src/algebra/void.spad.pamphlet
@@ -10,15 +10,16 @@
 \tableofcontents
 \eject
 
+These types act as the top and bottom of the type lattice
+and are known to the compiler and interpreter for type resolution.
+
 \section{domain VOID Void}
 
 <<domain VOID Void>>=
 )abbrev domain VOID Void
--- These types act as the top and bottom of the type lattice
--- and are known to the compiler and interpreter for type resolution.
-++ Author: Stephen M. Watt
+++ Author: Stephen M. Watt, Gabriel Dos Reis
 ++ Date Created: 1986
-++ Date Last Updated: May 30, 1991
+++ Date Last Updated: October 5, 2009
 ++ Basic Operations: 
 ++ Related Domains: ErrorFunctions, ResolveLatticeCompletion, Exit
 ++ Also See:
@@ -35,9 +36,8 @@
 Void: CoercibleTo OutputForm with
         void: () -> %            ++ void() produces a void object.
     == add
-        Rep := String
-        void()      == voidValue()$Lisp
-        coerce(v:%) == coerce(v)$Rep
+        void()      == voidValue()$Foreign(Builtin)
+        coerce(v:%) == empty()$OutputForm
 
 @
 
-- 
cgit v1.2.3