]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/basic_2/etc/sta/
projects / helm.git / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot
- new stand-alone definition of lstas (sta and old lstas parked in etc)
[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / etc / sta /
drwxr-xr-x   ..
-rw-r--r-- 1404 da_aaa.ma blob | history | raw
-rw-r--r-- 4141 da_sta.ma blob | history | raw
-rw-r--r-- 6228 lstas.ma blob | history | raw
-rw-r--r-- 1353 lstas_aaa.ma blob | history | raw
-rw-r--r-- 5594 lstas_alt.ma blob | history | raw
-rw-r--r-- 2024 lstas_da.ma blob | history | raw
-rw-r--r-- 4077 lstas_lift.ma blob | history | raw
-rw-r--r-- 2656 lstas_lstas.ma blob | history | raw
-rw-r--r-- 6410 sta.ma blob | history | raw
-rw-r--r-- 2676 sta_aaa.ma blob | history | raw
-rw-r--r-- 6466 sta_lift.ma blob | history | raw
-rw-r--r-- 2531 sta_llpx_sn.ma blob | history | raw
-rw-r--r-- 2290 sta_sta.ma blob | history | raw
-rw-r--r-- 1282 statictype_5.ma blob | history | raw
-rw-r--r-- 1316 statictypestaralt_6.ma blob | history | raw
Unnamed repository; edit this file 'description' to name the repository.