* Removed CharFun class * Added arity() to check the arity of (set-theoretic) relations * Added app(rel, arg) to deal with revised parse structure of   ApplicationExpressions in logic.py * Valuation().symbols now returns a sorted list * Turned the Boolean functions into bound methods in Model * Deleted unit() demo (to be added to semantics.doctest)
* Removed CharFun class
* Added arity() to check the arity of (set-theoretic) relations
* Added app(rel, arg) to deal with revised parse structure of
  ApplicationExpressions in logic.py
* Valuation().symbols now returns a sorted list
* Turned the Boolean functions into bound methods in Model
* Deleted unit() demo (to be added to semantics.doctest)


svn/trunk@6229

nltk/nltk,nltk/nltk,nltk/nltk