Session Syntax_Independent_Logic
View
theory dependencies
View
document
View
outline
Theories
HOL-Eisbach.Eisbach
File ‹parse_tools.ML›
File ‹method_closure.ML›
File ‹eisbach_rule_insts.ML›
File ‹match_method.ML›
Prelim
Syntax
Deduction
Natural_Deduction
Pseudo_Term
Standard_Model
Syntax_Arith
Deduction_Q