src/HOL/AxClasses/ROOT.ML
1997-01-23 wenzelm 1997-01-23 dummy file required for proper HTML generation;