* http://helm.cs.unibo.it/
*)
-val proof_viewer :
+val proof_viewer:
?hadjustment:GData.adjustment ->
?vadjustment:GData.adjustment ->
?font_size:int ->
unit ->
MatitaTypes.proof_viewer
-val sequent_viewer :
+val sequent_viewer:
?hadjustment:GData.adjustment ->
?vadjustment:GData.adjustment ->
?font_size:int ->
unit ->
MatitaTypes.sequent_viewer
+val sequents_viewer:
+ notebook:GPack.notebook ->
+ sequent_viewer:MatitaTypes.sequent_viewer ->
+ set_goal:(int -> unit) ->
+ unit ->
+ MatitaTypes.sequents_viewer
+