b1.v « b « multiple-files-multiple-dir « test-cases « ex « coq - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/coq/ex/test-cases/multiple-files-multiple-dir/b/b1.v

blob: afcd3941199adcd24b7e8192f4b1a0eacdc45635 (plain)

(* this file depends on ../a/a.v *)

Definition a := 1.

Require a.

(*** Local Variables: ***)
(*** coq-load-path: ("../a") ***)
(*** End: ***)