X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIUtil.mli;h=c294832c8e02b1b0a050ccc02b99612d2e150c09;hb=1ade90b417bd1815dc502ab42de8688e72c1701b;hp=38ca8f380240af2f81b735d28bb71c2dd0b67bf4;hpb=48b9bb5e9504aba97cff28a9d7e2797feb42972e;p=helm.git diff --git a/helm/ocaml/mathql_interpreter/mQIUtil.mli b/helm/ocaml/mathql_interpreter/mQIUtil.mli index 38ca8f380..c294832c8 100644 --- a/helm/ocaml/mathql_interpreter/mQIUtil.mli +++ b/helm/ocaml/mathql_interpreter/mQIUtil.mli @@ -23,16 +23,8 @@ * http://cs.unibo.it/helm/. *) -(******************************************************************************) -(* *) -(* PROJECT HELM *) -(* *) -(* Ferruccio Guidi *) -(* 06/01/2003 *) -(* *) -(* *) -(******************************************************************************) - +(* AUTOR: Ferruccio Guidi + *) val mql_true : MathQL.value @@ -73,9 +65,3 @@ val lt : MathQL.value -> MathQL.value -> MathQL.value val align : string -> string -> MathQL.value val set : string * 'a -> (string * 'a) list -> (string * 'a) list - -type time - -val start_time : unit -> time - -val stop_time : time -> string