uri renaming and new nodes count

[helm.git] / helm / software / matita / contribs / LAMBDA-TYPES / Ground-1 / types / defs.ma

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Ground-1/types/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Ground-1/types/defs.ma
index 6699002d5213df585357544c9bb276d76c469227..f94969d8852e05475127411893e77b05668ae816 100644 (file)
--- a/helm/software/matita/contribs/LAMBDA-TYPES/Ground-1/types/defs.ma
+++ b/helm/software/matita/contribs/LAMBDA-TYPES/Ground-1/types/defs.ma
@@ -14,7 +14,7 @@
 
 (* This file was automatically generated: do not edit *********************)
 
-include "Base-1/preamble.ma".
+include "Ground-1/preamble.ma".
 
 inductive and3 (P0: Prop) (P1: Prop) (P2: Prop): Prop \def
 | and3_intro: P0 \to (P1 \to (P2 \to (and3 P0 P1 P2))).