https://hal.archives-ouvertes.fr/hal-02155786
Tip revision: dacff8b9c3574cd3fcb023c485209c72abd8efef authored by Software Heritage on 13 June 2019, 18:26:26 UTC
hal: Deposit 300 in collection hal
hal: Deposit 300 in collection hal
Tip revision: dacff8b
| File | Mode | Size |
|---|---|---|
| .finset.aux | -rw-r--r-- | 4.6 KB |
| .lia.cache | -rw-r--r-- | 2.3 KB |
| .mealy.aux | -rw-r--r-- | 2.5 KB |
| .tm.aux | -rw-r--r-- | 1.6 KB |
| .tm_eq.aux | -rw-r--r-- | 6.0 KB |
| AUTHORS | -rw-r--r-- | 70 bytes |
| LICENSE | -rw-r--r-- | 7.5 KB |
| Makefile | -rw-r--r-- | 508 bytes |
| README.md | -rw-r--r-- | 2.8 KB |
| finset.v | -rw-r--r-- | 19.6 KB |
| mealy.v | -rw-r--r-- | 10.4 KB |
| tm.v | -rw-r--r-- | 5.7 KB |
| tm_eq.v | -rw-r--r-- | 41.4 KB |
