Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
archives.idtx 2025-08-14 17:31 13K
documents.idtx 2025-10-20 12:57 34K
expressions.idtx 2025-10-13 16:39 57K
html.idtx 2025-07-04 08:53 9.9K
imports.idtx 2025-02-12 17:25 6.9K
metatheory.idtx 2025-08-14 17:22 3.5K
modules.idtx 2025-07-03 14:37 17K
morphisms.idtx 2025-09-14 15:14 23K
notations.idtx 2025-09-14 15:20 27K
others.idtx 2025-05-05 11:16 691
proofs.idtx 2025-09-14 08:25 14K
smsmode.idtx 2025-02-17 13:45 9.9K
statements.idtx 2025-03-30 11:47 11K
structures.idtx 2025-09-24 14:33 7.8K
symbols.idtx 2025-07-03 08:48 25K
uris.idtx 2025-03-30 14:19 16K
utilities.idtx 2025-04-19 15:19 33K
variables.idtx 2025-02-12 17:26 9.6K