(* 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.