author | wenzelm |
Thu, 14 Oct 1999 15:04:36 +0200 | |
changeset 7866 | 3ccaa11b6df9 |
parent 7240 | a509730e424b |
child 9000 | c20d58286a51 |
permissions | -rw-r--r-- |
(* Title: HOL/AxClasses/Lattice/ROOT.ML ID: $Id$ Author: Markus Wenzel, TU Muenchen Basic theory of lattices and orders via axiomatic type classes. *) open AxClass; reset eta_contract; set show_types; set show_sorts; use_thy "Order"; use_thy "OrdDefs"; use_thy "OrdInsts"; use_thy "Lattice"; use_thy "CLattice"; use_thy "LatPreInsts"; use_thy "LatInsts"; use_thy "LatMorph";