Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Coqlib.v | 24331 | logstatsplain |
-rw-r--r-- | Floats.v | 1607 | logstatsplain |
-rw-r--r-- | Inclusion.v | 10763 | logstatsplain |
-rw-r--r-- | Integers.v | 65378 | logstatsplain |
-rw-r--r-- | Iteration.v | 7667 | logstatsplain |
-rw-r--r-- | Lattice.v | 12582 | logstatsplain |
-rw-r--r-- | Maps.v | 36452 | logstatsplain |
-rw-r--r-- | Ordered.v | 4042 | logstatsplain |
-rw-r--r-- | Parmov.v | 35679 | logstatsplain |