Theory Doc_Entailment

chapter ‹Definition of Entailment›
(*<*)
theory Doc_Entailment
imports Main
begin
(*>*)
text ‹This chapter defines various form of entailment.›
end