Changeset 50527

Timestamp:
Jan 9, 2009, 10:34:46 PM (14 years ago)
Author:
Joachim Faulhaber
Message:

Refactored. Degenerated add_intersection for TotalQuantifiers. Stable {msvc-9.0, partly congcc-4.3-a7}
Added documentation. Semantics: Total and PartialQuantifiers.

(No files)

Note: See TracChangeset for help on using the changeset viewer.