]> matita.cs.unibo.it Git - helm.git/commitdiff
added $Id$
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 13 Jul 2006 09:41:14 +0000 (09:41 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 13 Jul 2006 09:41:14 +0000 (09:41 +0000)
helm/software/components/library/coercGraph.mli

index 986ef8e472406b728a417768ed15f89fc32b916d..01f3fecf69ab1d564f5910c6d60241e398d41fba 100644 (file)
@@ -23,6 +23,8 @@
  * http://cs.unibo.it/helm/.
  *)
 
+(* $Id$ *)
+
 (* This module implements the Query interface to the Coercion Graph *)
 
 type coercion_search_result =