X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=src%2FCategories_ch1_3.v;h=dec78a0d1a4c9ea0d92bb0ae77503e5a9e6eccfb;hb=90844bf411c7cddcd92d48c0b020e5775ace0849;hp=e0a5838dff8af3b1221cb505ae496b5b3468950d;hpb=ff3003c261295c60d367580b6700396102eb5a9c;p=coq-categories.git

diff --git a/src/Categories_ch1_3.v b/src/Categories_ch1_3.v
index e0a5838..dec78a0 100644
--- a/src/Categories_ch1_3.v
+++ b/src/Categories_ch1_3.v
@@ -3,8 +3,7 @@
 (******************************************************************************)
 
 Generalizable All Variables.
-Require Import Preamble.
-Require Import General.
+Require Import Notations.
 
 (* definition 1.1 *)
 Class Category