Searched +path:commonlogic +path:clif (Results 1 - 13 of 13) sorted by relevance

/hets/CommonLogic/TestData/
H A DCat.clif
H A Dcl2casl.clif
H A Dcl2casl_compact.clif
H A Dcurie.clif
H A Dimport_monoid.clif
H A Dimport_semigroup.clif
H A Dimport_uri_relative.clif
H A Dsublogic_compact.clif
H A Dsublogic_compact2.clif
H A Dsublogic_fol.clif
H A Dsublogic_fol2.clif
H A Dsublogic_fullcl.clif
H A Dsublogic_prop.clif

Completed in 264 milliseconds