X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FNaturalDeduction.v;fp=src%2FNaturalDeduction.v;h=407948b134bc763b3cad1963a8ce341bc5df117d;hp=2bc361f1bb0daa5c034322fa48c735d04146ae4f;hb=85e4f0fd6b0673c1cc763eeb2585b7dc3d388455;hpb=70939a4eb9560ceeea3e9cf176ac5a36f9201ac4

diff --git a/src/NaturalDeduction.v b/src/NaturalDeduction.v
index 2bc361f..407948b 100644
--- a/src/NaturalDeduction.v
+++ b/src/NaturalDeduction.v
@@ -1,5 +1,8 @@
 (*********************************************************************************************************************************)
-(* NaturalDeduction: structurally explicit proofs in Coq                                                                         *)
+(* NaturalDeduction:                                                                                                             *)
+(*                                                                                                                               *)
+(*   Structurally explicit natural deduction proofs.                                                                             *)
+(*                                                                                                                               *)
 (*********************************************************************************************************************************)
 
 Generalizable All Variables.