]>
-rw-r--r-- | 268 | Makefile | blob | raw |
drwxr-xr-x | - | PTS | tree |
drwxr-xr-x | - | Plogic | tree |
-rw-r--r-- | 1304 | TPTP.ma | blob | raw |
drwxr-xr-x | - | algebra | tree |
drwxr-xr-x | - | arithmetics | tree |
drwxr-xr-x | - | basics | tree |
drwxr-xr-x | - | datatypes | tree |
-rw-r--r-- | 2517 | depends | blob | raw |
-rw-r--r-- | 5731 | depends.dot | blob | raw |
-rw-r--r-- | 430027 | depends.png | blob | raw |
-rw-r--r-- | 3497 | hints_declaration.ma | blob | raw |
drwxr-xr-x | - | logic | tree |
drwxr-xr-x | - | nat | tree |
drwxr-xr-x | - | overlap | tree |
drwxr-xr-x | - | properties | tree |
drwxr-xr-x | - | re | tree |
-rw-r--r-- | 23 | root | blob | raw |
drwxr-xr-x | - | sets | tree |
drwxr-xr-x | - | topology | tree |