(* This file was automatically generated: do not edit *********************)
+set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-2/ext/arith".
+
include "preamble.ma".
inline procedural "cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/nat_dec.con".
inline procedural
"cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/simpl_plus_r.con".
+inline procedural "cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/minus_Sx_Sy.con".
+
inline procedural
"cic:/matita/LAMBDA-TYPES/Base-1/ext/arith/minus_plus_r.con".