src/HOL/Transitive_Closure.ML
2002-11-13 berghofe 2002-11-13 Transitive closure is now defined inductively as well.
2002-01-09 wenzelm 2002-01-09 converted theory Transitive_Closure;
2000-10-12 nipkow 2000-10-12 *** empty log message ***