]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/lib/hott/
Inclusions improved to allow compilation from the toplevel.
[helm.git] / matita / matita / lib / hott /
drwxr-xr-x   ..
-rw-r--r-- 23309 Overture.ma
-rw-r--r-- 26508 PathGroupoids.ma
-rw-r--r-- 10972 notations.ma
-rw-r--r-- 1231 pts.ma
-rw-r--r-- 1227 types.ma