-(** {2 Instances} *)
-val cicBrowser: unit -> MatitaGuiTypes.cicBrowser
-
-(** {2 Singleton instances} *)
-val sequentsViewer_instance: unit -> MatitaGuiTypes.sequentsViewer
+(** {2 To be called just once} *)
+val sequentsViewer_instance: GPack.notebook -> MatitaGuiTypes.sequentsViewer