src/CoEqualizers_ch3_4.v

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