Session Abstract_Completeness
View
theory dependencies
View
document
View
outline
Theories
Collections.ICF_Tools
Collections.Ord_Code_Preproc
Collections.Locale_Code
Abstract_Completeness
Propositional_Logic