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