some theorems have been moved to more appropriate files in library.

[helm.git] / matita / contribs / CoRN-Decl / CoRN.ma

diff --git a/matita/contribs/CoRN-Decl/CoRN.ma b/matita/contribs/CoRN-Decl/CoRN.ma
index e75ca07486cdc79fc1a13516eb1164508b09436d..7a39a0e59b2dd633eb8e12504ea40fc029f4e01c 100644 (file)
--- a/matita/contribs/CoRN-Decl/CoRN.ma
+++ b/matita/contribs/CoRN-Decl/CoRN.ma
@@ -16,6 +16,8 @@
 
 set "baseuri" "cic:/matita/CoRN-Decl/CoRN".
 
+include "preamble.ma".
+
 (* From algebra/Basics ****************************************************)
 
 (* NOTATION