| Fri, 06 Sep 2013 10:56:40 +0200 | noschinl | use case_of_simps | file | diff | annotate |
| Wed, 06 Mar 2013 14:10:07 +0100 | nipkow | added lemma | file | diff | annotate |
| Wed, 06 Mar 2013 12:17:52 +0100 | nipkow | extended numerals | file | diff | annotate |
| Tue, 05 Mar 2013 15:26:57 +0100 | nipkow | New theory of infinity-extended types; should replace Extended_xyz eventually | file | diff | annotate |