src/HOL/AxClasses/Lattice/ROOT.ML
2000-05-30 wenzelm 2000-05-30 cleaned up;
1999-08-17 wenzelm 1999-08-17 removed HOL_quantifiers;
1998-10-21 wenzelm 1998-10-21 tuned;
1996-03-12 clasohm 1996-03-12 removed make_chart
1996-01-15 wenzelm 1996-01-15 added this stuff;