src/HOL/Transitive_Closure.thy
2000-10-25 wenzelm 2000-10-25 more "xsymbols" syntax;
2000-10-12 nipkow 2000-10-12 *** empty log message ***