haskell-chiouprover (0.6) unstable; urgency=low

  * Fix the module handling (sort of)
  * Move the interactive commands into the test suite
  * Validate each fact as we add it to the knowlegebase
  * Replace buggy distributeAndOverOr function
  * Start a test suite

 -- David Fox <dsf@seereason.com>  Wed, 07 Jul 2010 06:25:17 -0700

haskell-chiouprover (0.5) unstable; urgency=low

  * Parameterize the types, so for example Sentence now takes parameters v
    p f for the variable, predicate, and function types.
  * Add a test section to the cabal file.

 -- David Fox <dsf@seereason.com>  Tue, 06 Jul 2010 16:00:55 -0700

haskell-chiouprover (0.4) unstable; urgency=low

  * Derive an Ord instance for the Sentence type so we can store
    them in a set, and maybe reorder the terms to make comparing
    easier.

 -- David Fox <dsf@seereason.com>  Tue, 06 Jul 2010 09:26:01 -0700

haskell-chiouprover (0.3) unstable; urgency=low

  * Add Skolem instance, though it is not really used here.

 -- David Fox <dsf@seereason.com>  Mon, 05 Jul 2010 16:40:22 -0700

haskell-chiouprover (0.2) unstable; urgency=low

  * Group the modules into a Chiou subdirectory.

 -- David Fox <dsf@seereason.com>  Mon, 05 Jul 2010 08:58:54 -0700

haskell-chiouprover (0.1) unstable; urgency=low

  * Debianization generated by cabal-debian

 -- David Fox <dsf@seereason.com>  Mon, 05 Jul 2010 00:04:39 -0700