| Thu, 28 Oct 2010 22:59:33 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 28 Oct 2010 22:39:59 +0200 | wenzelm | moved FOL/ex/Iff_Oracle.thy to HOL/ex where it is more accessible to most readers of isar-ref; | file | diff | annotate |
| Sun, 24 Oct 2010 21:25:13 +0200 | wenzelm | merged | file | diff | annotate |
| Sun, 10 Oct 2010 23:16:24 +0200 | krauss | do not mention unqualified names, now that 'global' and 'local' are gone | file | diff | annotate |
| Fri, 15 Oct 2010 19:19:41 +0100 | wenzelm | moved bind_thm(s) to implementation manual; | file | diff | annotate |
| Sat, 09 Oct 2010 19:49:19 +0100 | wenzelm | prefer checked antiquotations; | file | diff | annotate |
| Wed, 08 Sep 2010 13:22:24 +0200 | haftmann | removed ancient constdefs command | file | diff | annotate |