diff options
Diffstat (limited to 'toplevel/whelp.mli')
-rw-r--r-- | toplevel/whelp.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/whelp.mli b/toplevel/whelp.mli index 4ad615a62..2f1621a7a 100644 --- a/toplevel/whelp.mli +++ b/toplevel/whelp.mli @@ -8,7 +8,7 @@ (*i $Id$ i*) -(* Coq interface to the Whelp query engine developed at +(* Coq interface to the Whelp query engine developed at the University of Bologna *) open Names |