| 2013-09-06 | noschinl | 2013-09-06 | use case_of_simps | file | diff | annotate |
| 2013-03-06 | nipkow | 2013-03-06 | added lemma | file | diff | annotate |
| 2013-03-06 | nipkow | 2013-03-06 | extended numerals | file | diff | annotate |
| 2013-03-05 | nipkow | 2013-03-05 | New theory of infinity-extended types; should replace Extended_xyz eventually | file | diff | annotate |