| 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; | changeset | files |
| Thu, 28 Oct 2010 22:23:11 +0200 | wenzelm | type attribute is derived concept outside the kernel; | changeset | files |
| Thu, 28 Oct 2010 22:12:08 +0200 | wenzelm | preserve original source position of exn; | changeset | files |
| Thu, 28 Oct 2010 22:11:06 +0200 | wenzelm | handle Type.TYPE_MATCH, not arbitrary exceptions via MATCH_TYPE variable; | changeset | files |