aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/rtauto
ModeNameSize
-rw-r--r--Bintree.v12936logplain
-rw-r--r--Rtauto.v10533logplain
-rw-r--r--g_rtauto.ml4651logplain
-rw-r--r--proof_search.ml14579logplain
-rw-r--r--proof_search.mli1240logplain
-rw-r--r--refl_tauto.ml10179logplain
-rw-r--r--refl_tauto.mli1000logplain
-rw-r--r--rtauto_plugin.mllib51logplain