.DS_Store
.vscode
_opam
*.a
*.cma
*.cmi
*.cmo
*.o
*.cmx
*.cmxa
pa_j.ml
update_database.ml
ocaml-hol
hol
hol.card
hol.card.ckpt
hol.complex
hol.complex.ckpt
hol.ckpt
hol.multivariate
hol.multivariate.ckpt
hol.sh
hol.sosa
hol.sosa.ckpt
hol_lib_inlined.ml
UnitTests/basic_tests_inlined.ml
UnitTests/basic_tests.byte
UnitTests/basic_tests.native
UnitTests/printer_tests_inlined.ml
UnitTests/printer_tests.byte
UnitTests/printer_tests.native
hol-*.ckpt
__pycache__/
