| Filename | Modification time | Size |
|---|---|---|
| archives.idtx | 14 KiB | |
| documents.idtx | 35 KiB | |
| expressions.idtx | 58 KiB | |
| html.idtx | 10 KiB | |
| imports.idtx | 8470 B | |
| metatheory.idtx | 4702 B | |
| modules.idtx | 17 KiB | |
| morphisms.idtx | 23 KiB | |
| notations.idtx | 27 KiB | |
| others.idtx | 1486 B | |
| proofs.idtx | 20 KiB | |
| smsmode.idtx | 10 KiB | |
| statements.idtx | 11 KiB | |
| structures.idtx | 8477 B | |
| symbols.idtx | 25 KiB | |
| uris.idtx | 17 KiB | |
| utilities.idtx | 33 KiB | |
| variables.idtx | 10 KiB |