.DS_Store
.vscode
_opam
*.a
*.cma
*.cmi
*.cmo
*.o
*.cmx
*.cmxa
pa_j.ml
update_database.ml
ocaml-hol
hol.sh
hol_lib_inlined.ml
unit_tests_inlined.ml
unit_tests.byte
unit_tests.native