src/HOL/AxClasses/Lattice/Lattice.thy
Wed, 12 Feb 1997 15:42:31 +0100 wenzelm tuned names: partial order, linear order;
Mon, 15 Jan 1996 15:49:21 +0100 wenzelm added this stuff;
less more (0) tip