[New order repo
Matthieu Sozeau <mattam@mattam.org>**20080621163815] 

[Update to work with the trunk
Matthieu Sozeau <mattam@mattam.org>**20090907221303] 
[Fix Operations.v for coq trunk.
Samuel Bronson <naesten@gmail.com>**20090907231126
 Ignore-this: 5b2ae34447f713971852cd4a70694706
] 
[Fix Quotients.v for coq trunk.
Samuel Bronson <naesten@gmail.com>**20090907231158
 Ignore-this: 9cd75cdc5d32b266d65a93c7b594cc14
] 
[Begin fixing Chains.v for coq trunk.
Samuel Bronson <naesten@gmail.com>**20090907231233
 Ignore-this: 21df00996a008b6a5c3768ee95550a1b
] 
[Fix Chains.v enough to trigger a coq bug...
Samuel Bronson <naesten@gmail.com>**20090907232240
 Ignore-this: 1a29ea6910caae3ce399a9f8be2ee3f5
] 
[Update Bounds, Chains, Lattice for trunk. Unresolved issue with typeclass inference
Matthieu Sozeau <mattam@mattam.org>**20090909231340] 
[Fix Lattice and CartesianProduct, try a better handling of dual instances
Matthieu Sozeau <mattam@mattam.org>**20090910200035]