Theories from the Archive of Formal Proofs that are used by IsaFoR
Theories that are not part of HOL but used by IsaFoR