diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-02 17:00:41 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-02 17:00:41 +0000 |
| commit | ed9f35dd30e87038bb2333a7fa9b7ff75ecb1335 (patch) | |
| tree | a273ae7b82790e413848f2d04ad86514c2dfc25c /coq/example.v | |
| parent | 2a8f91fc3c959ff96a583326815b57e54d262e90 (diff) | |
Use official indentation\!
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. |