Name | Date | Size | |
---|---|---|---|
.. | 2013-05-03 02:31:39 | 26 | |
Cat.clif | 2011-10-12 15:23:10 | 152 | |
cl2casl.clif | 2011-10-21 09:04:36 | 116 | |
cl2casl_compact.clif | 2011-10-21 09:58:20 | 930 | |
clifSyntacticSugarTest.clf | 2011-08-20 20:47:09 | 466 | |
curie.clif | 2012-05-01 09:26:24 | 305 | |
implied.clf | 2013-05-03 02:31:39 | 214 | |
import.het | 2011-10-11 12:30:26 | 283 | |
import2.het | 2011-08-23 22:37:59 | 213 | |
import_monoid.clif | 2011-10-11 12:31:12 | 157 | |
import_semigroup.clif | 2011-10-11 12:31:12 | 115 | |
import_uri_relative.clif | 2011-10-11 02:01:31 | 159 | |
Makefile | 2011-07-19 10:15:28 | 126 | |
modtest.clf | 2012-04-10 19:45:13 | 105 | |
partitioning.clf | 2010-12-16 19:51:53 | 530 | |
psl_core.clf | 2010-05-03 16:38:32 | 2.4 KiB | |
sequenceMarkerTest.clf | 2010-05-06 10:31:04 | 165 | |
sequenceMarkerTest2.clf | 2011-10-11 02:01:31 | 205 | |
sublogic_compact.clif | 2011-10-12 15:23:10 | 18 | |
sublogic_compact2.clif | 2011-10-12 15:23:10 | 19 | |
sublogic_fol.clif | 2011-10-12 15:23:10 | 18 | |
sublogic_fol2.clif | 2011-10-12 15:23:10 | 31 | |
sublogic_fullcl.clif | 2011-10-12 15:23:10 | 39 | |
sublogic_prop.clif | 2011-10-12 15:23:10 | 14 | |
test2.clf | 2010-12-16 19:51:53 | 412 | |
test_casl.casl | 2010-12-16 19:51:53 | 683 | |
test_commonlogic.clf | 2010-05-31 15:04:51 | 125 | |
test_het.het | 2013-05-03 02:31:39 | 178 | |
ToProve.het | 2011-10-11 02:01:31 | 100 |