aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/FSets/FSetWeakFacts.v
Commit message (Expand)AuthorAge
* petits ajoutsGravatar letouzey2006-05-31
* on utilise explicitement Prop/iff pour certains morphismes pour eviter des wa...Gravatar letouzey2006-04-05
* ajout d'un debut de proprietes pour les FSetWeakGravatar letouzey2006-03-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-09 06:42:30 +0000