aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/rtauto
ModeNameSize
-rw-r--r--Bintree.v9361logplain
-rw-r--r--Rtauto.v10383logplain
-rw-r--r--g_rtauto.ml4713logplain
-rw-r--r--proof_search.ml15098logplain
-rw-r--r--proof_search.mli1243logplain
-rw-r--r--refl_tauto.ml10184logplain
-rw-r--r--refl_tauto.mli953logplain
-rw-r--r--rtauto_plugin.mlpack33logplain
-rw-r--r--vo.itarget21logplain