aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/ex/test-cases/multiple-files-multiple-dir/a/a.v
blob: e4dadf398fc927c12b4cc2df9de4b11077643def (plain)
1
2
3
(* this file depends on nothing *)

Definition a := 0.