e.v « multiple-files-single-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-single-dir/e.v

blob: 9dc2be323fb5852fd5d5b96d114950a014d76a29 (plain)

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

Require Import b c.

Definition a := 4.