|Rev:||7 - Go to most recent revision|
|Last modification:||Rev 7 - 2008-07-09 16:29:29 +0100 (Wed, 09 Jul 2008)|
Some MonadPlus were replaced by MonadOr.
Some commands were refactored in order to build an evaluator of proof step
Some experiments in order to introduce a more readable representation were
tried but the results are still not very pleasant...
|(Show changed files)|