X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaEngine.mli;fp=matita%2Fmatita%2FmatitaEngine.mli;h=29f3a5a0b64169649655dfb29c1738b19d3b7aec;hb=b505ea98f76ba6defb31be73a6871c62136e5747;hp=2639f1d046e760333804964d2aea256b29cf2fa0;hpb=9369b99d37875350d949661f91403f738e7bf732;p=helm.git

diff --git a/matita/matita/matitaEngine.mli b/matita/matita/matitaEngine.mli
index 2639f1d04..29f3a5a0b 100644
--- a/matita/matita/matitaEngine.mli
+++ b/matita/matita/matitaEngine.mli
@@ -44,3 +44,13 @@ val eval_from_stream :
   include_paths:string list -> ?do_heavy_checks:bool -> GrafiteTypes.status ->
    Ulexing.lexbuf -> (GrafiteTypes.status -> GrafiteAst.statement -> unit) ->
     GrafiteTypes.status
+
+val toplevel:
+  #GrafiteParser.status -> include_paths:string list -> string ->
+    GrafiteParser.ast_statement
+
+(* EX MATITACLIB *)
+module Make : sig
+   val make: string -> string list -> bool
+end
+(* FINE EX MATITACLIB *)