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=57ae1762497a5f3ea75740e2908e04adb8642cc2;hp=23edf578984153bcc9c9068c4c7baf9b08041dcd;hpb=88a68a9c334646bc17314d5327cd3b790202acd6;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)))
 }.