History log of /seL4-l4v-10.1.1/isabelle/src/HOL/Algebra/Galois_Connection.thy
Revision Date Author Comments
# 5df98fce 02-Mar-2017 ballarin <none@none>

Knaster-Tarski fixed point theorem and Galois Connections.