src/HOL/Library/Transitive_Closure_Table.thy
2010-06-28 haftmann 2010-06-28 tuned whitespace
2010-04-16 wenzelm 2010-04-16 replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords;
2010-03-01 wenzelm 2010-03-01 eliminated hard tabs;
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