isabelle: File revisions

src/HOL/Library/Transitive_Closure_Table.thy

Mon, 12 Sep 2011 07:55:43 +0200	nipkow	new fastforce replacing fastsimp - less confusing name	file \| diff \| annotate
Tue, 26 Jul 2011 08:07:00 +0200	bulwahn	adding remarks after static inspection of the invocation of the SML code generator	file \| diff \| annotate
Mon, 28 Jun 2010 15:03:06 +0200	haftmann	tuned whitespace	file \| diff \| annotate
Fri, 16 Apr 2010 21:28:09 +0200	wenzelm	replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords;	file \| diff \| annotate
Mon, 01 Mar 2010 21:41:35 +0100	wenzelm	eliminated hard tabs;	file \| diff \| annotate
Sun, 10 Jan 2010 18:37:37 +0100	berghofe	Changed case names of converse_rtranclp_induct.	file \| diff \| annotate
Mon, 23 Nov 2009 19:42:52 +0100	bulwahn	improving the setup for the tabled transitive closure thanks to usage of Andreas Lochbihler	file \| diff \| annotate
Thu, 12 Nov 2009 20:38:57 +0100	bulwahn	added a tabled implementation of the reflexive transitive closure	file \| diff \| annotate

isabelle