Session Entailment_Definition

View theory dependencies
View document
View outline

Theories

Doc_Entailment
Ordered_Resolution_Prover.Clausal_Logic
Partial_Herbrand_Interpretation
Partial_Annotated_Herbrand_Interpretation
Ordered_Resolution_Prover.Herbrand_Interpretation
Partial_And_Total_Herbrand_Interpretation
Prop_Logic

Isabelle version:	AFP version:	IsaFoL version:	Last compilation:
Isabelle2022	a2537884648b	6978ce41	Thu 19 Dec 2024 04:53:06 PM CET

Imprint / Data Protection