Session FOL_Seq_Calc3
View
theory dependencies
View
document
View
outline
Theories
List_Syntax
Fair_Stream
Syntax
Semantics
Encoding
Collections.ICF_Tools
Collections.Ord_Code_Preproc
Collections.Locale_Code
Abstract_Completeness.Abstract_Completeness
Prover
Export
Abstract_Soundness.Finite_Proof_Soundness
Soundness
Completeness
Result