| 2007-06-11 | chaieb | 2007-06-11 | tuned Proof | file | diff | annotate |
| 2007-05-19 | nipkow | 2007-05-19 | Had to replace "case 1/2" by "case base/step". No idea why. | file | diff | annotate |
| 2007-04-13 | wenzelm | 2007-04-13 | tuned document (headers, sections, spacing); | file | diff | annotate |
| 2007-02-28 | krauss | 2007-02-28 | added headers | file | diff | annotate |
| 2007-02-26 | krauss | 2007-02-26 | Added formalization of size-change principle (experimental). | file | diff | annotate |