summaryrefslogtreecommitdiff
path: root/contrib/rtauto
ModeNameSize
-rw-r--r--Bintree.v12983logplain
-rw-r--r--Rtauto.v10543logplain
-rw-r--r--g_rtauto.ml4701logplain
-rw-r--r--proof_search.ml14632logplain
-rw-r--r--proof_search.mli1294logplain
-rw-r--r--refl_tauto.ml10228logplain
-rw-r--r--refl_tauto.mli1052logplain