Searched +path:commonlogic +path:testdata (Results 1 - 25 of 28) sorted by relevance

12

/hets/CommonLogic/TestData/
H A DMakefile
H A DCat.clif
H A DToProve.het
H A Dcl2casl.clif
H A Dcl2casl_compact.clif
H A DclifSyntacticSugarTest.clf
H A Dcurie.clif
H A Dimplied.clf
H A Dimport.het
H A Dimport2.het
H A Dimport_monoid.clif
H A Dimport_semigroup.clif
H A Dimport_uri_relative.clif
H A Dmodtest.clf
H A Dpartitioning.clf
H A Dpsl_core.clf
H A DsequenceMarkerTest.clf
H A DsequenceMarkerTest2.clf
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
H A Dtest2.clf

Completed in 107 milliseconds

12