Sun, 10 Jan 2010 18:37:37 +0100 | berghofe | Changed case names of converse_rtranclp_induct. | file | diff | annotate |
Mon, 23 Nov 2009 19:42:52 +0100 | bulwahn | improving the setup for the tabled transitive closure thanks to usage of Andreas Lochbihler | file | diff | annotate |
Thu, 12 Nov 2009 20:38:57 +0100 | bulwahn | added a tabled implementation of the reflexive transitive closure | file | diff | annotate |