https://hal.archives-ouvertes.fr/hal-01863457
Tip revision: c812045b6b43f7bfeca7954a47baf2dcbb8c6d8d authored by Software Heritage on 03 September 2018, 13:40:43 UTC
hal: Deposit 174 in collection hal
hal: Deposit 174 in collection hal
Tip revision: c812045
| 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 |
