]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/mQIProperty.ml
Author specification added in head comments;
[helm.git] / helm / ocaml / mathql_interpreter / mQIProperty.ml
index b07fdd5519343f4a68a270714ccfdfd4ab20e187..7550bcc9c025fc97335a0df518a1fd9b5a173e93 100644 (file)
@@ -1,4 +1,3 @@
-
 (* Copyright (C) 2000, HELM Team.
  * 
  * This file is part of HELM, an Hypertextual, Electronic
@@ -24,6 +23,9 @@
  * http://cs.unibo.it/helm/.
  *)
 
+(*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
+ *)
+
 module M = MathQL
 module P = MQIPostgres
 module C = MQIConn