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