Index of Isabelle/HOL/HOL-Metis_Examples
Up
to index of Isabelle/HOL
View
theory dependencies
Theories
FuncSet
Abstraction
Dense_Linear_Order
Function_Algebras
Set_Algebras
Big_O
Binary_Tree
Clausification
Message
Type_Encodings
Proxies
Tarski
Trans_Closure
Sets