src/HOL/AxClasses/Lattice/tools.ML
changeset 3362 0b268cff9344
parent 1899 0075a8d26a80