(** * Groupoids *)
(** ** Definition *)
Require GroupoidCategory.Core.
[Loading ML file number_string_notation_plugin.cmxs (using legacy method) ... done]
(** ** Morphisms in a groupoid *)
Require GroupoidCategory.Morphisms.
(** ** Propositional self-duality *)
Require GroupoidCategory.Dual.

Include GroupoidCategory.Core.
Include GroupoidCategory.Core.GroupoidCategoryInternals.
Include GroupoidCategory.Morphisms.
Include GroupoidCategory.Dual.