src/HOL/Library/Transitive_Closure_Table.thy
Mon, 01 Mar 2010 21:41:35 +0100 wenzelm eliminated hard tabs;
Sun, 10 Jan 2010 18:37:37 +0100 berghofe Changed case names of converse_rtranclp_induct.
Mon, 23 Nov 2009 19:42:52 +0100 bulwahn improving the setup for the tabled transitive closure thanks to usage of Andreas Lochbihler
Thu, 12 Nov 2009 20:38:57 +0100 bulwahn added a tabled implementation of the reflexive transitive closure
less more (0) tip