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

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