Changeset 50689

Timestamp:

Jan 20, 2009, 8:28:56 PM (14 years ago)

Author:

Joachim Faulhaber

Message:

Added tests. Added for test_quantifier_map. Monoid laws for infix .+. Stable {msvc-9.0, partly congcc-4.3-a7}

(No files)