src/HOL/Library/Transitive_Closure_Table.thy
2010-01-10 berghofe 2010-01-10 Changed case names of converse_rtranclp_induct.
2009-11-23 bulwahn 2009-11-23 improving the setup for the tabled transitive closure thanks to usage of Andreas Lochbihler
2009-11-12 bulwahn 2009-11-12 added a tabled implementation of the reflexive transitive closure