]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 4463 | Datatypes.mma | blob | history | raw |
-rw-r--r-- | 8458 | Logic.mma | blob | history | raw |
-rw-r--r-- | 3642 | Logic_Type.mma | blob | history | raw |
-rw-r--r-- | 4928 | Notations.mma | blob | history | raw |
-rw-r--r-- | 5903 | Peano.mma | blob | history | raw |
-rw-r--r-- | 1854 | Prelude.mma | blob | history | raw |
-rw-r--r-- | 6496 | Specif.mma | blob | history | raw |
-rw-r--r-- | 4985 | Wf.mma | blob | history | raw |