Changeset 50525

Timestamp:

Jan 9, 2009, 1:46:16 PM (14 years ago)

Author:

Joachim Faulhaber

Message:

Added documentation. Section Semantics, added find.
Fallback version before modifying intersection semantics for Quantifiers.
Stable {msvc-9.0, partly congcc-4.3-a7}

(No files)