From 8177e644bc6792bab7db9c384c89cd49edb9c21d Mon Sep 17 00:00:00 2001 From: Makarius Wenzel Date: Thu, 8 Jun 2000 19:45:31 +0000 Subject: proper indentation; --- coq/example.v | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'coq/example.v') diff --git a/coq/example.v b/coq/example.v index 1155e5f7..010248a6 100644 --- a/coq/example.v +++ b/coq/example.v @@ -6,10 +6,10 @@ Goal (A,B:Prop)(A /\ B) -> (B /\ A). -Intros A B H. -Induction H. -Apply conj. -Assumption. -Assumption. + Intros A B H. + Induction H. + Apply conj. + Assumption. + Assumption. Save and_comms. -- cgit v1.2.3