| File | Mode | Size |
|---|---|---|
| equations.ml | -rw-r--r-- | 3.1 KB |
| equations.mli | -rw-r--r-- | 1.2 KB |
| kb.ml | -rw-r--r-- | 6.2 KB |
| kb.mli | -rw-r--r-- | 1.5 KB |
| kbmain.ml | -rw-r--r-- | 2.6 KB |
| orderings.ml | -rw-r--r-- | 3.3 KB |
| orderings.mli | -rw-r--r-- | 1.3 KB |
| terms.ml | -rw-r--r-- | 3.9 KB |
| terms.mli | -rw-r--r-- | 1.3 KB |
