Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | test_10_cons_rot.chk | 313 | logplain |
-rw-r--r-- | test_10_cons_rot.tex | 346 | logplain |
-rw-r--r-- | test_20_snoc_decons.chk | 160 | logplain |
-rw-r--r-- | test_20_snoc_decons.tex | 255 | logplain |
-rw-r--r-- | test_30_all.chk | 351 | logplain |
-rw-r--r-- | test_30_all.tex | 583 | logplain |