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/ChangeLog | 5 +++++ src/algebra/boolean.spad.pamphlet | 1 - 2 files changed, 5 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/ChangeLog b/src/ChangeLog index 30e7ef28..73728b97 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,8 @@ +2011-10-21 Gabriel Dos Reis + + * algebra/boolean.spad.pamphlet (Boolean) [sample]: Remove + definition, as it is not exported. + 2011-10-21 Gabriel Dos Reis Workaround proclamation bug in GCL 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