aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/rtauto
ModeNameSize
-rw-r--r--Bintree.v12743logplain
-rw-r--r--Rtauto.v10464logplain
-rw-r--r--g_rtauto.ml4640logplain
-rw-r--r--proof_search.ml14444logplain
-rw-r--r--proof_search.mli1225logplain
-rw-r--r--refl_tauto.ml10020logplain
-rw-r--r--refl_tauto.mli988logplain
-rw-r--r--rtauto_plugin.mllib51logplain
-rw-r--r--vo.itarget21logplain