- some bugs fixed in the domain-based preorders on environments

[helm.git] / helm / software / matita / contribs / LAMBDA-TYPES / Base-2 / preamble.ma

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/preamble.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/preamble.ma
index 5bf2f44ef61b2e67060439408e2c106195174026..114efbd53479edff13a2103421c2283d46a30219 100644 (file)
--- a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/preamble.ma
+++ b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/preamble.ma
@@ -13,6 +13,7 @@
 (**************************************************************************)
 
 include "Base-1/definitions.ma".
+include "Legacy-2/theory.ma".
 
 alias symbol "minus" = "Coq's natural minus".
 alias symbol "lt" = "Coq's natural 'less than'".