src/CoEqualizers_ch3_4.v

   1 Generalizable All Variables.
   2 Require Import Preamble.
   3 Require Import General.
   4
   5 (******************************************************************************)
   6 (* Chapter 3.4: CoEqualizers                                                  *)
   7 (******************************************************************************)
   8
   9 (* FIXME *)