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