all: epistemic.vo classic.vo hat.vo muddy.vo 

axioms.vo: axioms.v
	coqc axioms.v

minimal.vo: axioms.vo minimal.v
	coqc minimal.v

or_and_exist.vo: axioms.vo minimal.vo or_and_exist.v
	coqc or_and_exist.v

false.vo: axioms.vo minimal.vo or_and_exist.vo false.v
	coqc false.v

propositional.vo: axioms.vo minimal.vo or_and_exist.vo false.vo propositional.v
	coqc propositional.v

predicates.vo: propositional.vo predicates.v
	coqc predicates.v

classic.vo: axioms.vo minimal.vo propositional.vo classic.v
	coqc classic.v

modal.vo: axioms.vo minimal.vo propositional.vo predicates.vo modal.v
	coqc modal.v
 
epistemic.vo: axioms.vo minimal.vo propositional.vo predicates.vo modal.vo epistemic.v
	coqc epistemic.v

hat.vo: axioms.vo minimal.vo propositional.vo predicates.vo modal.vo or_and_exist.vo false.vo epistemic.vo hat.v
	coqc hat.v

muddy.vo: axioms.vo minimal.vo propositional.vo predicates.vo modal.vo or_and_exist.vo false.vo epistemic.vo muddy.v
	coqc muddy.v