aboutsummaryrefslogtreecommitdiffstats
path: root/theories
ModeNameSize
-rw-r--r--.lia.cache268logstatsplainblame
-rw-r--r--Decrease.v2110logstatsplainblame
-rw-r--r--Decrease.vok0logstatsplainblame
-rw-r--r--Decrease.vos0logstatsplainblame
-rw-r--r--dune370logstatsplainblame