diff options
Diffstat (limited to 'etc/coq/multiple-plain/a.v')
-rw-r--r-- | etc/coq/multiple-plain/a.v | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/etc/coq/multiple-plain/a.v b/etc/coq/multiple-plain/a.v new file mode 100644 index 00000000..d628156e --- /dev/null +++ b/etc/coq/multiple-plain/a.v @@ -0,0 +1,10 @@ +(* Simple tests for multiple file handling *) + +Goal forall (A B:Prop),(A /\ B) -> (B /\ A). + intros A B H. + elim H. + intros. + split. + assumption. + assumption. +Save and_comms_a. |