aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/boolean.spad.pamphlet
AgeCommit message (Expand)AuthorFilesLines
2008-05-07 * algebra/boolean.spad.pamphlet (Boolean): Don't pretend todos-reis1-60/+64
2008-04-14Update cached Lisp translation.dos-reis1-15/+79
2008-01-18Fix typo.dos-reis1-1/+1
2008-01-17add missing part of last commitdos-reis1-8/+27
2008-01-17 Fix SF/1849734dos-reis1-1/+229
2008-01-16 * algebra/boolean.spad.pamphlet (PropositionalLogic): New category.dos-reis1-256/+180
2007-08-14Initial population.dos-reis1-0/+587