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