Name
Last commit
Last update
..
BacktrackArray Loading commit data...
Choice Loading commit data...
Firstorder_formula_impl Loading commit data...
Firstorder_formula_list_impl Loading commit data...
Firstorder_formula_list_spec Loading commit data...
Firstorder_formula_spec Loading commit data...
Firstorder_semantics Loading commit data...
Firstorder_symbol_impl Loading commit data...
Firstorder_symbol_spec Loading commit data...
Firstorder_tableau_impl Loading commit data...
Firstorder_tableau_spec Loading commit data...
Firstorder_term_impl Loading commit data...
Firstorder_term_spec Loading commit data...
FormulaTransformations Loading commit data...
Functions Loading commit data...
ISet Loading commit data...
Nat Loading commit data...
OptionFuncs Loading commit data...
Predicates Loading commit data...
Prover Loading commit data...
ProverMain Loading commit data...
ProverTest Loading commit data...
Sum Loading commit data...
Unification Loading commit data...
bench Loading commit data...
macro_generator Loading commit data...
BacktrackArray.mlw Loading commit data...
Choice.mlw Loading commit data...
Firstorder_formula_impl.mlw Loading commit data...
Firstorder_formula_list_impl.mlw Loading commit data...
Firstorder_formula_list_spec.mlw Loading commit data...
Firstorder_formula_spec.mlw Loading commit data...
Firstorder_semantics.mlw Loading commit data...
Firstorder_symbol_impl.mlw Loading commit data...
Firstorder_symbol_spec.mlw Loading commit data...
Firstorder_tableau_impl.mlw Loading commit data...
Firstorder_tableau_spec.mlw Loading commit data...
Firstorder_term_impl.mlw Loading commit data...
Firstorder_term_spec.mlw Loading commit data...
FormulaTransformations.mlw Loading commit data...
Functions.mlw Loading commit data...
ISet.mlw Loading commit data...
Makefile Loading commit data...
Nat.mlw Loading commit data...
OptionFuncs.mlw Loading commit data...
Predicates.mlw Loading commit data...
Prover.mlw Loading commit data...
ProverMain.mlw Loading commit data...
ProverTest.mlw Loading commit data...
Sum.mlw Loading commit data...
Unification.mlw Loading commit data...
bench.sh Loading commit data...
bench2.sh Loading commit data...
drinker.p Loading commit data...
run.ml Loading commit data...
test_binders.p Loading commit data...