src/HOL/Transitive_Closure.thy
2001-02-09 wenzelm 2001-02-09 tuned;
2001-02-09 wenzelm 2001-02-09 unsymbolized; tuned;
2001-01-29 nipkow 2001-01-29 Moved some thms from Transitive_ClosureTr.ML to Transitive_Closure.thy
2001-01-26 wenzelm 2001-01-26 Transitive_Closure turned into new-style theory;
2001-01-09 wenzelm 2001-01-09 syntax (xsymbols);
2000-12-01 wenzelm 2000-12-01 superscripts: syntax (latex);
2000-10-25 wenzelm 2000-10-25 more "xsymbols" syntax;
2000-10-12 nipkow 2000-10-12 *** empty log message ***