src/HOL/Transitive_Closure.ML
Wed, 13 Nov 2002 15:24:42 +0100 berghofe Transitive closure is now defined inductively as well.
Wed, 09 Jan 2002 17:48:40 +0100 wenzelm converted theory Transitive_Closure;
Thu, 12 Oct 2000 18:44:35 +0200 nipkow *** empty log message ***
less more (0) tip