| Fri, 04 Mar 2005 15:07:34 +0100 | skalberg | Removed practically all references to Library.foldr. | file | diff | annotate |
| Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Tue, 03 Aug 2004 14:47:51 +0200 | ballarin | New transitivity reasoners for transitivity only and quasi orders. | file | diff | annotate |
| Mon, 02 Aug 2004 10:16:40 +0200 | ballarin | Documentation added/improved. | file | diff | annotate |
| Mon, 08 Mar 2004 12:17:43 +0100 | ballarin | Bug-fixes for transitivity reasoner. | file | diff | annotate |
| Thu, 19 Feb 2004 15:57:34 +0100 | ballarin | Efficient, graph-based reasoner for linear and partial orders. | file | diff | annotate |