William Ball e996e578a8 renamed match_result variants to be less confusing		2024-09-02 21:53:23 -07:00
..
dune	reorganized files for parsing and decided libraries	2024-09-02 21:33:18 -07:00
formula.ml	renamed match_result variants to be less confusing	2024-09-02 21:53:23 -07:00
formula.mli	reorganized files for parsing and decided libraries	2024-09-02 21:33:18 -07:00
proof.ml	renamed match_result variants to be less confusing	2024-09-02 21:53:23 -07:00
proof.mli	reorganized files for parsing and decided libraries	2024-09-02 21:33:18 -07:00
term.ml	renamed match_result variants to be less confusing	2024-09-02 21:53:23 -07:00
term.mli	renamed match_result variants to be less confusing	2024-09-02 21:53:23 -07:00