| Wed, 08 Jun 2011 10:24:07 +0200 | wenzelm | merged | file | diff | annotate |
| Mon, 30 May 2011 16:10:12 +0100 | paulson | Workaround for bug involving makeindex, hyperref and the | symbol | file | diff | annotate |
| Fri, 03 Jun 2011 21:32:48 +0200 | wenzelm | removed some old stuff; | file | diff | annotate |
| Thu, 26 May 2011 22:42:52 +0200 | wenzelm | moved/updated basic HOL overview; | file | diff | annotate |
| Thu, 26 May 2011 21:39:02 +0200 | wenzelm | updated and re-unified (co)inductive definitions in HOL; | file | diff | annotate |
| Thu, 26 May 2011 15:56:39 +0200 | wenzelm | clarified current 'primrec' vs. old 'recdef'; | file | diff | annotate |
| Thu, 26 May 2011 14:12:14 +0200 | wenzelm | updated and simplified HOL datatype examples (NB: special treatment of distinctness has been discontinued in the vicinity of 542b34b178ec); | file | diff | annotate |