]>
drwxr-xr-x | - | CoRN-Decl | tree |
drwxr-xr-x | - | LAMBDA-TYPES | tree |
drwxr-xr-x | - | LOGIC | tree |
-rw-r--r-- | 192 | Makefile | blob | raw |
-rw-r--r-- | 11 | Makefile.defs | blob | raw |
drwxr-xr-x | - | POPLmark | tree |
drwxr-xr-x | - | PREDICATIVE-TOPOLOGY | tree |
drwxr-xr-x | - | RELATIONAL | tree |
drwxr-xr-x | - | assembly | tree |
drwxr-xr-x | - | dama | tree |
-rw-r--r-- | 474 | developments.txt | blob | raw |
drwxr-xr-x | - | formal_topology | tree |
drwxr-xr-x | - | library_auto | tree |