| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| doc/ | 2026-Aug-19 11:34:02 | - | Directory |
| ListSet.v | 2026-Aug-19 11:33:56 | 2.4K | application/octet-stream |
| Makefile | 2026-Aug-19 11:33:56 | 0.2K | text/x-makefile;charset=utf-8 |
| classcomp.ml | 2026-Aug-19 11:33:56 | 270.9K | application/octet-stream |
| classcomp.mli | 2026-Aug-19 11:33:56 | 24.1K | application/octet-stream |
| classcomp.v | 2026-Aug-19 11:33:56 | 81.6K | application/octet-stream |
| filters.ml | 2026-Aug-19 11:33:56 | 69.5K | application/octet-stream |
| filters.mli | 2026-Aug-19 11:33:56 | 8.5K | application/octet-stream |
| filters.v | 2026-Aug-19 11:33:56 | 26.7K | application/octet-stream |