| File | Mode | Size |
|---|---|---|
| Imakefile | -rw-r--r-- | 67 bytes |
| Makefile | -rw-r--r-- | 905 bytes |
| README | -rw-r--r-- | 143 bytes |
| equation.ml | -rw-r--r-- | 2.3 KB |
| go.ml | -rw-r--r-- | 1.8 KB |
| kb.ml | -rw-r--r-- | 4.6 KB |
| loadall.ml | -rw-r--r-- | 107 bytes |
| order.ml | -rw-r--r-- | 2.6 KB |
| prelude.ml | -rw-r--r-- | 632 bytes |
| terms.ml | -rw-r--r-- | 3.0 KB |
