Name Date Revision

.. 2012-09-10 09:57:45 11 entries

ACINormalization.hs 2012-09-10 09:57:45 54fefc493b9a48c17286559e5902188fa8acb85a

ACStandardization.hs 2012-09-10 09:57:45 54fefc493b9a48c17286559e5902188fa8acb85a

BooleanRing.hs 2012-09-10 09:57:45 54fefc493b9a48c17286559e5902188fa8acb85a

CNF.hs 2012-09-10 09:57:45 54fefc493b9a48c17286559e5902188fa8acb85a

Data.hs 2012-09-10 09:57:45 54fefc493b9a48c17286559e5902188fa8acb85a

Intersection.hs 2012-09-10 09:57:45 54fefc493b9a48c17286559e5902188fa8acb85a

Matching.hs 2008-02-18 19:55:21 7fd911312d0c61a55320121b6cbc0015e5b04d46

Matching2.hs 2008-02-18 19:55:21 7fd911312d0c61a55320121b6cbc0015e5b04d46

Normalization.hs 2012-09-10 09:57:45 54fefc493b9a48c17286559e5902188fa8acb85a

Retrieval.hs 2008-02-18 19:55:21 7fd911312d0c61a55320121b6cbc0015e5b04d46

Select.hs 2012-09-10 09:57:45 54fefc493b9a48c17286559e5902188fa8acb85a