mirror of
https://github.com/achlipala/frap.git
synced 2024-11-09 16:07:49 +00:00
3 lines
84 B
Coq
3 lines
84 B
Coq
Require Export FrapWithoutSets.
|
|
|
|
Module Export SN := SetNotations(FrapWithoutSets).
|