Kirk Rader  1.0-SNAPSHOT
File List
Here is a list of all files with brief descriptions:
[detail level 1234567891011]
 logic
 scheme
 tasker
  tt
  formula
  src
  main
  java
  us
  rader
  tt
  formula
 Biconditional.java
 Conditional.java
 Conjunction.java
 Connective.java
 Description.java
 Disjunction.java
 ExistentialGeneralization.java
 Expression.java
 Formula.java
 Graphable.java
 Identity.java
 Negation.java
 Operator.java
 package-info.java
 Predicate.java
 Sentence.java
 SymbolicNode.java
 UniversalGeneralization.java
 Variable.java
 VariableBindingOperator.java
 package-info.java
  test
  java
  us
  rader
  tt
  formula
  test
  TT
  src
  main
  java
  us
  rader
  tt
  app
 package-info.java
 TT.java
  unit-testing
  src
  main
  java
  us
  rader
  unittesting
 Divider.java
 package-info.java
  test
  java
  us
  rader
  unittesting
  test
 BadDivider1Test.java
 BadDivider2Test.java
 GoodDividerTest.java
 package-info.java
  using-doxygen
  src
  main
  java
  us
  rader
  usingdoxygen
 Base.java
 package-info.java
 Pythagoras.java
  test
  java
  us
  rader
  usingdoxygen
  test
 package-info.java
 PythagorasTest.java