drwxr-xr-x 126346 holtrace-20250703/doc/html 14 files + 0 links
-r--r--r--  11942 bib.html
-r--r--r--   7235 download.html
-r--r--r--  32730 format.html
-r--r--r--   5731 index.html
-r--r--r--   7287 install.html
-r--r--r--   4766 license.html
-r--r--r--   5488 ml.html
-r--r--r--   6012 opentheory.html
-r--r--r--   8689 prooftrace.html
-r--r--r--   5707 prune.html
-r--r--r--   7783 save.html
-r--r--r--   7503 test.html
-r--r--r--   6474 tex.html
-r--r--r--   8999 verify.html