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