examples/dirichlet: header text

23a1ed29 · Jean-Christophe Filliâtre · 01d2e275 · 23a1ed29
Commit 23a1ed29 authored May 05, 2015 by Jean-Christophe Filliâtre
--- a/examples/dirichlet.mlw
+++ b/examples/dirichlet.mlw

-(** Pigeon hole principle (also know as Dirichlet's principle)
-    proved using a lemma function. *)
+(** Pigeonhole principle (also know as Dirichlet's drawer principle)
+
+    Proved using a lemma function. *)

 module Dirichlet