src/HOL/Lattice/ROOT.ML
author wenzelm
Fri Oct 06 01:04:56 2000 +0200 (2000-10-06)
changeset 10157 6d3987f3aad9
child 33615 261abc2e3155
permissions -rw-r--r--
* HOL/Lattice: fundamental concepts of lattice theory and order structures;
wenzelm@10157
     1
(*  Title:      HOL/Lattice/ROOT.ML
wenzelm@10157
     2
    ID:         $Id$
wenzelm@10157
     3
    Author:     Markus Wenzel, TU Muenchen
wenzelm@10157
     4
wenzelm@10157
     5
Basic theory of lattices and orders.
wenzelm@10157
     6
*)
wenzelm@10157
     7
wenzelm@10157
     8
time_use_thy "CompleteLattice";