Session Incredible_Proof_Machine
View
theory dependencies
View
document
View
outline
Theories
Indexed_FSet
Abstract_Formula
Incredible_Signatures
HOL-Eisbach.Eisbach
File ‹parse_tools.ML›
File ‹method_closure.ML›
File ‹eisbach_rule_insts.ML›
File ‹match_method.ML›
Incredible_Deduction
Abstract_Rules
Abstract_Rules_To_Incredible
Collections.ICF_Tools
Collections.Ord_Code_Preproc
Collections.Locale_Code
Abstract_Completeness.Abstract_Completeness
Entailment
Natural_Deduction
Incredible_Correctness
Rose_Tree
Incredible_Trees
Build_Incredible_Tree
Incredible_Completeness
Incredible_Everything
Propositional_Formulas
Incredible_Propositional
Incredible_Propositional_Tasks
Predicate_Formulas
Incredible_Predicate
Incredible_Predicate_Tasks