Changeset 9533


Ignore:
Timestamp:
May 16, 2008, 3:13:28 AM (11 years ago)
Author:
gb
Message:

Don't define a type-predicate for SEMAPHOREP.

File:
1 edited

Legend:

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