matita.cs.unibo.it Git - helm.git/blob - matita/contribs/LAMBDA-TYPES/Unified-Sub/root

]> matita.cs.unibo.it Git - helm.git/blob - matita/contribs/LAMBDA-TYPES/Unified-Sub/root

projects / helm.git / blob

e3402e0be155e0a98a192837be0e546efa28ef2b

[helm.git] / matita / contribs / LAMBDA-TYPES / Unified-Sub / root

1 baseuri=cic:/matita/LAMBDA-TYPES/Unified-Sub

2 include_paths= ../../RELATIONAL/

Unnamed repository; edit this file 'description' to name the repository.