X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2FmatitaTypes.ml;h=454c17a7f521afc53be9b9fc9460d75ba3a4b564;hb=a268d7377c1d4ddae4229f5844125f827325c78a;hp=48d419341ca4b2fad4aefbf7891c23dc4b1b868a;hpb=de9a83f286eee12117fb478ea2db18f7faebac9a;p=helm.git

diff --git a/helm/matita/matitaTypes.ml b/helm/matita/matitaTypes.ml
index 48d419341..454c17a7f 100644
--- a/helm/matita/matitaTypes.ml
+++ b/helm/matita/matitaTypes.ml
@@ -145,3 +145,14 @@ class type console =
     method show : ?msg:string -> unit -> unit
   end
 
+type term_source =
+  [ `Ast of DisambiguateTypes.term
+  | `Cic of Cic.term * Cic.metasenv
+  | `String of string
+  ]
+
+class type mathViewer =
+  object
+    method show_term: term_source -> unit
+  end
+