]>
drwxr-xr-x | .. | ||
drwxr-xr-x | - | A | tree | history |
drwxr-xr-x | - | C | tree | history |
drwxr-xr-x | - | G | tree | history |
drwxr-xr-x | - | T | tree | history |
drwxr-xr-x | - | aplus | tree | history |
drwxr-xr-x | - | aprem | tree | history |
drwxr-xr-x | - | arity | tree | history |
drwxr-xr-x | - | asucc | tree | history |
drwxr-xr-x | - | cimp | tree | history |
drwxr-xr-x | - | clear | tree | history |
drwxr-xr-x | - | clen | tree | history |
drwxr-xr-x | - | cnt | tree | history |
drwxr-xr-x | - | csubst0 | tree | history |
drwxr-xr-x | - | csubst1 | tree | history |
drwxr-xr-x | - | drop | tree | history |
drwxr-xr-x | - | drop1 | tree | history |
drwxr-xr-x | - | flt | tree | history |
drwxr-xr-x | - | fsubst0 | tree | history |
drwxr-xr-x | - | getl | tree | history |
drwxr-xr-x | - | gz | tree | history |
drwxr-xr-x | - | iso | tree | history |
drwxr-xr-x | - | leq | tree | history |
drwxr-xr-x | - | lift | tree | history |
drwxr-xr-x | - | lift1 | tree | history |
drwxr-xr-x | - | llt | tree | history |
-rw-r--r-- | 902 | makefile | blob | history | raw |
drwxr-xr-x | - | next_plus | tree | history |
drwxr-xr-x | - | r | tree | history |
drwxr-xr-x | - | s | tree | history |
drwxr-xr-x | - | subst0 | tree | history |
drwxr-xr-x | - | subst1 | tree | history |
drwxr-xr-x | - | tau0 | tree | history |
-rw-r--r-- | 3605 | theory.ma | blob | history | raw |
drwxr-xr-x | - | tlt | tree | history |