| Wed, 22 Aug 2007 16:55:46 +0200 | huffman | move bool list operations from WordBitwise to WordBoolList | file | diff | annotate |
| Wed, 22 Aug 2007 02:04:30 +0200 | huffman | move bool list stuff from WordDefinition and WordArith to new WordBoolList theory | file | diff | annotate |