1.2 => 1.3
=============
This package has been extended and now includes:
* An Input module, allowing files to be parsed.
* An example of the usage of this module.
1.1.0.1 => 1.2
=============
This package version is now compatible with the translation package CarneadesIntoDung.
See http://hackage.haskell.org/package/CarneadesIntoDung/
* Change the use of proof standards to rely on the definition of |PSName|
to allow for an easier translation.
* Fix the definition of applicability to include all three conditions.