aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/boolean.spad.pamphlet
AgeCommit message (Expand)AuthorFilesLines
2013-05-26Define lexicographical ordering on Bits in Spaddos-reis1-2/+9
2013-05-26Revert accidental commit.dos-reis1-9/+0
2013-05-26 * algebra/logic.spad.pamphlet: New file.dos-reis1-481/+0
2012-01-14 * algebra/catdef.spad.pamphlet (Finite) [random]: Provide defaultdos-reis1-14/+29
2011-11-10 * algebra/boolean.spad.pamphlet (IndexedBits) [Not, Or, And]: Remove.dos-reis1-13/+4
2011-10-26minor cleanupsdos-reis1-2/+2
2011-10-21 * algebra/boolean.spad.pamphlet (Boolean) [sample]: Removedos-reis1-1/+0
2011-10-16 * algebra/boolean.spad.pamphlet (Boolean): Implement defaultdos-reis1-9/+14
2011-10-12 * algebra/boolean.spad.pamphlet (Reference) [elt]: Remove.dos-reis1-27/+20
2011-09-07 * interp/lisplib.boot (finalizeLisplib): Finalize documentaiondos-reis1-1/+1
2011-08-05 * algebra/boolean.spad.pamphlet (Boolean) [test]: Remove.dos-reis1-4/+0
2011-03-09 * interp/g-opt.boot: %pair, %list, %vector, %bitvector are nowdos-reis1-3/+3
2011-02-28 * algebra/boolean.spad.pamphlet (PropositionalFormula): dos-reis1-2/+8
2011-02-04 * interp/g-opt.boot ($VMsideEffectFreeOperators): Remove more Lispdos-reis1-1/+2
2011-01-03 * interp/g-util.boot: Expand new bit vector operators.dos-reis1-18/+28
2011-01-02 * interp/nrunfast.boot (evalSlotDomain): Expand to VM forms beforedos-reis1-4/+4
2010-10-27 * algebra/boolean.spad.pamphlet (BooleanLogic) [~]: Add defaut.dos-reis1-6/+8
2010-10-27 * algebra/boolean.spad.pamphlet (BooleanLogic): Extends Logic.dos-reis1-2/+2
2010-10-27 * algebra/boolean.spad.pamphlet (Logic): Now extend Type.dos-reis1-1/+1
2010-06-25 * interp/g-opt.boot: Rename %eq to %peq for pointer comparaison.dos-reis1-4/+4
2010-05-30 * algebra/boolean.spad.pamphlet (Boolean): Remove reference todos-reis1-24/+26
2010-04-08 * algebra/boolean.spad.pamphlet (atoms$PropositionalFormula):dos-reis1-7/+7
2010-04-07 * algebra/boolean.spad.pamphlet (isAtom$PropositionalFormula):dos-reis1-6/+53
2010-04-04 * algebra/boolean.spad.pamphlet (BooleanLogic): New.dos-reis1-11/+24
2010-04-04 * algebra/boolean.spad.pamphlet (PropositionalFormulaFunctions1): New.dos-reis1-1/+80
2010-02-28 * algebra/boolean.spad.pamphletdos-reis1-3/+15
2010-02-21 * algebra/boolean.spad.pamphlet (PropositionalFormula):dos-reis1-62/+74
2010-02-11 * algebra/boolean.spad.pamphlet (~$Boolean): Work around silly bugdos-reis1-1/+1
2009-10-15 * interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.dos-reis1-1/+1
2009-06-11 * interp/newaux.lisp: Remove digraphs '(<' and '>) as alternatedos-reis1-7/+7
2009-05-28 * interp/compiler.boot (compVector): Tidy code generation.dos-reis1-15/+17
2009-05-28 * algebra/boolean.spad.pamphlet (PropositionalLogic): Now exportdos-reis1-4/+4
2009-05-28 * interp/newaux.lisp: Bot / and /\ are gliphs.dos-reis1-23/+23
2009-05-11 * interp/property.lisp: "not" is prefix operator with "not " fordos-reis1-115/+55
2009-04-23 * interp/c-util.boot (extendsCategoryForm): Use current categorydos-reis1-6/+4
2009-04-23 * interp/sys-constants.boot ($SystemInlinableConstructorNames):dos-reis1-2/+2
2009-03-01 * interp/g-opt.boot (optimize): Remove non-qualifieddos-reis1-2/+2
2009-02-04 * algebra/Makefile.pamphlet: Tidy.dos-reis1-1/+1
2009-02-04 * algebra/boolean.spad.pamphlet (Boolean): Tidy.dos-reis1-10/+10
2008-12-14 r12459@gauss: gdr | 2008-12-12 18:18:31 -0600dos-reis1-3/+3
2008-10-01 * algebra/mkfunc.spad.pamphlet (InputForm): Remove local mkProperOp.dos-reis1-1/+2
2008-09-21 * algebra/syntax.spad.pamphlet (SpadAst): New.dos-reis1-0/+2
2008-09-21Misc cleanup.dos-reis1-3/+6
2008-09-21 * algebra/boolean.spad.pamphlet (Boolean): Now belong todos-reis1-2/+2
2008-09-21 * interp/sys-macros.lisp (|byteEqual|): New.dos-reis1-46/+107
2008-08-31 * algebra/boolean.spad.pamphlet (Boolean): Remove definition ofdos-reis1-4/+1
2008-08-16 * algebra/strap: New. Sequester cached Lisp translation ofdos-reis1-271/+0
2008-07-11 * interp/compiler.boot (compQuote): Restrict quoting to literaldos-reis1-2/+2
2008-06-14 * algebra/variable.spad.pamphlet (ModePatternVariable): New.dos-reis1-1/+1
2008-05-07 * algebra/boolean.spad.pamphlet (true$Boolean): Simplify.dos-reis1-9/+9