Searched +path:logics +path:first-order +path:syntax (Results 1 - 11 of 11) sorted by relevance

/hets/Framework/specs/logics/first-order/syntax/
H A Dbase.elf
H A Dderived.elf
H A Ddfol.elf
H A Dfol.elf
H A Dmodules.elf
H A Dsfol.elf
H A Dsfol.omdoc
H A Dsorted_base.elf
H A Dsorted_base.omdoc
H A Dsorted_modules.elf
H A Dsorted_modules.omdoc

Completed in 7 milliseconds