![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| predicate.src | 2012-11-01 12:13 | 3.9K | |
| induction.src | 2012-11-01 12:13 | 2.1K | |
| proposition2.src | 2012-11-01 12:13 | 1.7K | |
| natural.src | 2012-11-01 12:13 | 1.1K | |
| variable.src | 2012-11-01 12:13 | 750 | |
| substitution.src | 2012-11-01 12:13 | 719 | |
| non-freeness.src | 2012-11-01 12:13 | 565 | |
| proposition1.src | 2012-11-01 12:13 | 546 | |
| generalization.src | 2012-11-01 12:13 | 490 | |
| hypothesis2.src | 2012-11-01 12:13 | 254 | |
| hypothesis1.src | 2012-11-01 12:13 | 184 | |
| simple.src | 2012-11-01 12:13 | 180 | |
| rewrite.src | 2012-11-01 12:13 | 161 | |
| special.src | 2012-11-01 12:13 | 137 | |