src/HOL/Algebra/Galois_Connection.thy
2017-03-02 ballarin 2017-03-02 Knaster-Tarski fixed point theorem and Galois Connections.