Differences between revisions 56 and 60 (spanning 4 versions)
⇤ ← Revision 56 as of 2003-11-04 00:20:27 →
Size: 1509
Editor: wakko
Comment:
← Revision 60 as of 2003-11-04 00:57:16 → ⇥
Size: 1599
Editor: yakko
Comment:
Deletions are marked like this. Additions are marked like this.
Line 4: Line 4:
   * BooleanAlgebra
   * BooleanTerm
Line 15: Line 17:
   * FreeBooleanAlgebra
Line 31: Line 34:
   * MonotoneBooleanTerm

ComputerTerms (last edited 2020-02-02 17:49:07 by scot)