src/HOL/Library/Transitive_Closure_Table.thy
2016-12-21 haftmann 2016-12-21 dropped aliasses
2016-02-23 nipkow 2016-02-23 more canonical names
2015-12-01 Andreas Lochbihler 2015-12-01 add lemmas
2015-12-01 Andreas Lochbihler 2015-12-01 strengthen lemma
2015-06-19 wenzelm 2015-06-19 tuned proofs;
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-05-09 haftmann 2014-05-09 removed junk from library theory
2014-02-12 blanchet 2014-02-12 tabled, v.: postpone consideration of
2012-01-30 bulwahn 2012-01-30 adding code equation for rtranclp in Enum
2011-10-21 bulwahn 2011-10-21 replacing code_inline by code_unfold, removing obsolete code_unfold, code_inline del now that the ancient code generator is removed
2011-10-19 bulwahn 2011-10-19 removing invocations of the old code generator
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2011-07-26 bulwahn 2011-07-26 adding remarks after static inspection of the invocation of the SML code generator
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