X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaInit.ml;h=f75cbcf483472fd9d6d091315b108ec69f46bdbe;hb=9c2f282765ec75a3c9aafc9e73e6626588891abe;hp=2655798a97087c2b48b628ea389ac33049eaa376;hpb=13bfd154ade0996d34e7e723398ac7ab76a51717;p=helm.git

diff --git a/helm/software/matita/matitaInit.ml b/helm/software/matita/matitaInit.ml
index 2655798a9..f75cbcf48 100644
--- a/helm/software/matita/matitaInit.ml
+++ b/helm/software/matita/matitaInit.ml
@@ -280,4 +280,8 @@ let initialize_environment () =
   status := initialize_environment !status
 
 let _ =
-  Inversion_principle.init ()
+  CicFix.init ();
+  Inversion_principle.init ();
+  CicRecord.init ();
+  CicElim.init ()
+;;