aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/rtauto
ModeNameSize
-rw-r--r--Bintree.v9511logplain
-rw-r--r--Rtauto.v10848logplain
-rw-r--r--g_rtauto.ml4820logplain
-rw-r--r--proof_search.ml15236logplain
-rw-r--r--proof_search.mli1375logplain
-rw-r--r--refl_tauto.ml10454logplain
-rw-r--r--refl_tauto.mli1078logplain
-rw-r--r--rtauto_plugin.mlpack33logplain