Cross Reference: /seL4-l4v-master/HOL4/examples/logic/propositional_logic/

Cross Reference: propositional_logic

xref: /seL4-l4v-master/HOL4/examples/logic/propositional_logic/

Home
History
Annotate
only in this directory

	Name		Date	Size
	..		07-Jul-2020	9
	IntuitionisticProofScript.sml	H A D	25-Jul-2019	24 KiB
	PropLogicScript.sml	H A D	25-Jul-2019	22.9 KiB

Indexes created Sat Jul 13 22:46:07 MDT 2024