![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| defs/ | 2012-06-19 01:28 | - | |
| dim_basic.clif | 2012-04-06 13:52 | 2.0K | |
| dim_bounded.clif | 2012-04-06 13:52 | 682 | |
| dim_discrete_bounded.clif | 2012-04-06 13:52 | 521 | |
| dim_linear.clif | 2012-04-06 13:52 | 222 | |
| dim_prime_bounded_linear.clif | 2012-04-06 13:52 | 185 | |
| dim_prime_discrete_bounded_linear.clif | 2012-04-06 13:52 | 456 | |
| dim_prime_linear.clif | 2012-05-22 10:34 | 1.6K | |