src/HOL/Library/Transitive_Closure_Table.thy
Thu, 12 Nov 2009 20:38:57 +0100 bulwahn added a tabled implementation of the reflexive transitive closure
less more (0) tip