From 2307cd465b2644ca6e2df89ba3a994228944ee10 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Fri, 21 Oct 2011 10:53:03 +0000 Subject: * algebra/boolean.spad.pamphlet (Boolean) [sample]: Remove definition, as it is not exported. --- src/algebra/boolean.spad.pamphlet | 1 - 1 file changed, 1 deletion(-) (limited to 'src/algebra/boolean.spad.pamphlet') diff --git a/src/algebra/boolean.spad.pamphlet b/src/algebra/boolean.spad.pamphlet index 3e604095..62c02779 100644 --- a/src/algebra/boolean.spad.pamphlet +++ b/src/algebra/boolean.spad.pamphlet @@ -485,7 +485,6 @@ Boolean(): Join(OrderedFinite, PropositionalLogic, ConvertibleTo InputForm) with true == %true false == %false - sample() == %true not b == %not b ~b == %not b a and b == %and(a,b) -- cgit v1.2.3