diff options
Diffstat (limited to 'etc/coq/multiple/b.v')
| -rw-r--r-- | etc/coq/multiple/b.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/coq/multiple/b.v b/etc/coq/multiple/b.v index a1a68374..55c89b76 100644 --- a/etc/coq/multiple/b.v +++ b/etc/coq/multiple/b.v @@ -1,4 +1,4 @@ -(* Silly tests for automatic auto file handling *) +(* Simple tests for multiple file handling *) Goal (A,B:Prop)(and A B) -> (and B A). Intros A B H. |