Searched +path:logics +path:propositional +path:syntax (Results 1 - 10 of 10) sorted by relevance

/hets/Framework/specs/logics/propositional/syntax/
H A Dbase.elf
H A Dbase.omdoc
H A Dderived.elf
H A Dderived.omdoc
H A Dminimal-prop.elf
H A Dminimal.elf
H A Dmodules.elf
H A Dmodules.omdoc
H A Dprop.elf
H A Dprop.omdoc

Completed in 7 milliseconds