Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | lazy1.ml | 336 | logplain |
-rw-r--r-- | lazy1.reference | 1 | logplain |
-rw-r--r-- | lazy2.ml | 164 | logplain |
-rw-r--r-- | lazy2.reference | 12 | logplain |
-rw-r--r-- | lazy3.ml | 526 | logplain |
-rw-r--r-- | lazy3.reference | 10 | logplain |
-rw-r--r-- | lazy4.ml | 249 | logplain |
-rw-r--r-- | lazy4.reference | 10 | logplain |
-rw-r--r-- | lazy5.ml | 493 | logplain |
-rw-r--r-- | lazy5.reference | 28 | logplain |
-rw-r--r-- | lazy6.ml | 636 | logplain |
-rw-r--r-- | lazy6.reference | 3 | logplain |
-rw-r--r-- | lazy7.ml | 725 | logplain |
-rw-r--r-- | lazy7.reference | 28 | logplain |
-rw-r--r-- | lazy8.ml | 383 | logplain |
-rw-r--r-- | lazy8.reference | 3 | logplain |
-rw-r--r-- | minor_major_force.ml | 2166 | logplain |
-rw-r--r-- | minor_major_force.reference | 431 | logplain |