d.v « multiple-files-single-dir « test-cases « ex « coq - proof-general - Emacs plugins for proof management systems

about summary refs log tree commit diff

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

blob: b0c47e8b30041ea7ad4c78d9786ddb4a889482a7 (plain)

(* this file depends on a.v and b.v *)

Require Import a b.

Definition a := 3.