Changeset 50683

Timestamp:

Jan 20, 2009, 11:10:08 AM (14 years ago)

Author:

Joachim Faulhaber

Message:

Added tests. Added test_quantifier_map. Tests for global operators with laws. Stable {msvc-9.0, partly congcc-4.3-a7}

(No files)