X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_1%2FG%2Fdefs.ma;h=ae81c7857dd23e5cea3ae2b977fa51f4192fbef4;hb=6abec8ca6434937e46e098ed946bc6ed307f022b;hp=23edf578984153bcc9c9068c4c7baf9b08041dcd;hpb=67fede5f273328bf920ad609f15d4f2389493c5c;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_1/G/defs.ma b/matita/matita/contribs/lambdadelta/basic_1/G/defs.ma
index 23edf5789..ae81c7857 100644
--- a/matita/matita/contribs/lambdadelta/basic_1/G/defs.ma
+++ b/matita/matita/contribs/lambdadelta/basic_1/G/defs.ma
@@ -14,9 +14,9 @@
 
 (* This file was automatically generated: do not edit *********************)
 
-include "Basic-1/preamble.ma".
+include "basic_1/preamble.ma".
 
-record G : Set \def {
+record G : Type[0] \def {
  next: (nat \to nat);
  next_lt: (\forall (n: nat).(lt n (next n)))
 }.