src/HOL/AxClasses/ROOT.ML
Tue, 31 Jul 2007 22:21:20 +0200 wenzelm simultaneous use_thys;
Tue, 03 Oct 2000 18:30:56 +0200 wenzelm moved axclass tutorial examples to top dir;
Thu, 23 Jan 1997 13:57:31 +0100 wenzelm dummy file required for proper HTML generation;
less more (0) tip