/Atom.java/1.1/Fri May 21 12:08:12 2004///AtomComparator.java/1.1/Fri May 21 12:12:28 2004///AtomFormComparator.java/1.1/Sat May 22 13:22:47 2004///AtomFormSet.java/1.1/Mon May 24 11:32:48 2004///AtomSet.java/1.1/Fri May 21 12:08:12 2004///CNF.java/1.1/Fri May 21 12:13:30 2004///CNFSequence.java/1.1/Fri May 21 13:20:45 2004///Comparator.java/1.1/Fri May 21 12:10:07 2004///DNF.java/1.1/Fri May 21 12:56:26 2004///DNFSequence.java/1.1/Fri May 21 12:58:17 2004///DecomposeHead.java/1.1/Fri May 21 11:49:17 2004///DecomposeList.java/1.1/Fri May 21 11:49:21 2004///Eval.java/1.1/Mon May 24 12:03:34 2004///FirstWord.java/1.1/Fri May 21 11:48:26 2004///Formula.java/1.1/Mon May 24 11:59:28 2004///FormulaDisplay.java/1.1/Fri May 21 13:13:32 2004///FormulaFactory.java/1.1/Sat May 22 16:33:01 2004///HTMLDisplay.java/1.1/Fri May 21 13:22:48 2004///Junc.java/1.1/Fri May 21 12:58:59 2004///LitCube.java/1.1/Fri May 21 13:00:29 2004///LitFormAsFormula.java/1.1/Fri May 21 13:25:20 2004///LitLine.java/1.1/Fri May 21 12:13:48 2004///LitLineComparator.java/1.1/Fri May 21 13:02:45 2004///LitSquare.java/1.1/Fri May 21 12:13:30 2004///Literal.java/1.1/Fri May 21 12:14:07 2004///NLC.java/1.1/Fri May 21 12:14:49 2004///NLD.java/1.1/Fri May 21 12:14:53 2004///NoFormulaException.java/1.1/Fri May 21 13:26:10 2004///NormFormulas.java/1.1/Fri May 21 21:44:28 2004///NormalForm.java/1.1/Fri May 21 13:06:25 2004///NormalFormSequence.java/1.1/Fri May 21 13:08:15 2004///PCNF.java/1.1/Sat May 22 11:32:46 2004///PCNFCanonizer.java/1.1/Sat May 22 11:34:36 2004///PDNF.java/1.1/Sat May 22 13:05:52 2004///PDNFCanonizer.java/1.1/Sat May 22 13:05:37 2004///PairPrimes.java/1.1/Fri May 21 13:04:51 2004///Parser.java/1.1/Fri May 21 11:53:15 2004///PrimeProcedure.java/1.1/Fri May 21 13:04:23 2004///QuineMcCluskey.java/1.1/Sat May 22 14:57:04 2004///Sequence.java/1.1/Sat May 22 13:06:01 2004///Simplifier.java/1.1/Fri May 21 21:45:08 2004///SortedSequence.java/1.1/Fri May 21 12:08:47 2004///Symbol.java/1.1/Fri May 21 12:12:22 2004///TheoForm.java/1.1/Sat May 22 14:56:25 2004///Tools.java/1.1/Fri May 21 13:02:21 2004///Valuation.java/1.1/Mon May 24 12:05:30 2004///ValuationTable.java/1.1/Sat May 22 17:26:07 2004///WordList.java/1.1/Fri May 21 11:47:25 2004///Words.java/1.1/Fri May 21 11:47:53 2004///XCNF.java/1.1/Fri May 21 13:19:17 2004///XCNFSequence.java/1.1/Fri May 21 13:18:51 2004///XCube.java/1.1/Fri May 21 13:19:49 2004///XDNF.java/1.1/Fri May 21 13:19:27 2004///XDNFSequence.java/1.1/Fri May 21 13:19:32 2004///XSquare.java/1.1/Fri May 21 13:19:35 2004//D