path: root/coq/ex/test-cases/multiple-files-single-dir/f.v

(* this file depends on d.v and e.v and therefore 
 * indirectly also on a.v, b.v and c.v
 *)

Require Import d e.

Definition a := 5.