]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/matita/lib/basics/pts.ma
update in ground_2
[helm.git] / matita / matita / lib / basics / pts.ma
index 94f49fc5c33c939e0faa8366cd9ae2b9c5aacf3d..446305ecf4e76299535171930827f01bd704e37f 100644 (file)
@@ -18,3 +18,4 @@ 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].