| Thu, 28 Oct 2010 18:36:34 +0200 | bulwahn | merged | changeset | files |
| Thu, 28 Oct 2010 17:28:45 +0200 | bulwahn | adding a simple check to only run with a SWI-Prolog version known to work | changeset | files |
| Thu, 28 Oct 2010 23:54:39 +0200 | wenzelm | tuned messages; | changeset | files |
| Thu, 28 Oct 2010 23:19:52 +0200 | wenzelm | discontinued obsolete ML antiquotation @{theory_ref}; | changeset | files |
| Thu, 28 Oct 2010 22:59:33 +0200 | wenzelm | tuned; | changeset | files |
| 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 |