drwxr-xr-x 110318 holtrace-20250629/doc/html 14 files + 0 links
-r--r--r--  10524 bib.html
-r--r--r--   5488 download.html
-r--r--r--  31740 format.html
-r--r--r--   4741 index.html
-r--r--r--   5486 install.html
-r--r--r--   3776 license.html
-r--r--r--   4498 ml.html
-r--r--r--   5022 opentheory.html
-r--r--r--   7675 prooftrace.html
-r--r--r--   4680 prune.html
-r--r--r--   6734 save.html
-r--r--r--   6513 test.html
-r--r--r--   5482 tex.html
-r--r--r--   7959 verify.html