- lambda_delta: "conversion" and "equivalence" components started

[helm.git] / matita / matita / lib / basics / pts.ma

diff --git a/matita/matita/lib/basics/pts.ma b/matita/matita/lib/basics/pts.ma
index 94f49fc5c33c939e0faa8366cd9ae2b9c5aacf3d..237c0c2b39df57203c487e401de78b77673d13ce 100644 (file)
--- a/matita/matita/lib/basics/pts.ma
+++ b/matita/matita/lib/basics/pts.ma
@@ -18,3 +18,5 @@ universe constraint Type[0] < Type[1].
 universe constraint Type[1] < Type[2].
 universe constraint Type[2] < Type[3].
 universe constraint Type[3] < Type[4].
+universe constraint Type[4] < Type[5].
+universe constraint Type[5] < Type[6].