diff options
Diffstat (limited to 'coq/example.v')
| -rw-r--r-- | coq/example.v | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/coq/example.v b/coq/example.v index d9976ea7..cfe85203 100644 --- a/coq/example.v +++ b/coq/example.v @@ -5,10 +5,10 @@ *) Goal (A,B:Prop)(A /\ B) -> (B /\ A). - Intros A B H. - Elim H. - Intros. - Split. - Assumption. - Assumption. + Intros A B H. + Elim H. + Intros. + Split. + Assumption. + Assumption. Save and_comms. |