]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 66 | .cvsignore | blob | history | raw |
-rw-r--r-- | 2423 | Makefile | blob | history | raw |
-rw-r--r-- | 3846 | input_phase.dia | blob | history | raw |
-rw-r--r-- | 123194 | input_phase.eps | blob | history | raw |
-rw-r--r-- | 35384 | llncs.cls | blob | history | raw |
-rw-r--r-- | 48647 | matita.bib | blob | history | raw |
-rw-r--r-- | 24682 | matita.tex | blob | history | raw |