1
(* Title: HOL/AxClasses/ROOT.ML
2
ID: $Id$
3
Author: Markus Wenzel
4
5
Axiomatic type class examples.
6
*)
7
8
(*dummy file required for proper HTML generation*)