src/HOL/AxClasses/Lattice/ROOT.ML
author wenzelm
Tue May 30 16:08:38 2000 +0200 (2000-05-30)
changeset 9000 c20d58286a51
parent 7240 a509730e424b
permissions -rw-r--r--
cleaned up;
     1 (*  Title:      HOL/AxClasses/Lattice/ROOT.ML
     2     ID:         $Id$
     3     Author:     Markus Wenzel, TU Muenchen
     4 
     5 Basic theory of lattices and orders via axiomatic type classes.
     6 *)
     7 
     8 open AxClass;
     9 
    10 reset eta_contract;
    11 set show_types;
    12 set show_sorts;
    13 
    14 time_use_thy "Order";
    15 time_use_thy "OrdDefs";
    16 time_use_thy "OrdInsts";
    17 
    18 time_use_thy "Lattice";
    19 time_use_thy "CLattice";
    20 
    21 time_use_thy "LatPreInsts";
    22 time_use_thy "LatInsts";
    23 
    24 time_use_thy "LatMorph";