first constructions with classes

[helm.git] / matita / matita / contribs / limits / preamble.ma

diff --git a/matita/matita/contribs/limits/preamble.ma b/matita/matita/contribs/limits/preamble.ma
index 4741d33dcdcf69b7626da9ed860a154d62386e72..47724701bb3249dc8ff0d42dd15b1777d2b829a9 100644 (file)
--- a/matita/matita/contribs/limits/preamble.ma
+++ b/matita/matita/contribs/limits/preamble.ma
@@ -17,3 +17,9 @@
 (* Project taken over by "lambdadelta" and restarted Sun Sept 20, 2015 ****)
 
 include "basics/logic.ma".
+include "../lambdadelta/ground_2/notation/xoa/false_0.ma".
+include "../lambdadelta/ground_2/notation/xoa/true_0.ma".
+
+interpretation "logical false" 'false = False.
+
+interpretation "logical true" 'true = True.