| Fri, 09 Dec 2005 15:25:29 +0100 | haftmann | improved extraction interface | changeset | files |
| Fri, 09 Dec 2005 12:38:49 +0100 | urbanc | tuned | changeset | files |
| Fri, 09 Dec 2005 09:06:45 +0100 | haftmann | oriented result pairs in PureThy | changeset | files |
| Thu, 08 Dec 2005 20:16:17 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 08 Dec 2005 20:16:10 +0100 | wenzelm | removed Syntax.deskolem; | changeset | files |
| Thu, 08 Dec 2005 20:16:04 +0100 | wenzelm | swap: no longer pervasive; | changeset | files |
| Thu, 08 Dec 2005 20:15:57 +0100 | wenzelm | replaced swap by contrapos_np; | changeset | files |
| Thu, 08 Dec 2005 20:15:50 +0100 | wenzelm | tuned proofs; | changeset | files |
| Thu, 08 Dec 2005 20:15:41 +0100 | wenzelm | Cla.swap; | changeset | files |
| Thu, 08 Dec 2005 20:15:34 +0100 | wenzelm | removed hint for Classical.swap, which is not really user-level anyway; | changeset | files |
| Thu, 08 Dec 2005 12:50:04 +0100 | wenzelm | tuned sources and proofs | changeset | files |
| Thu, 08 Dec 2005 12:50:03 +0100 | wenzelm | Classical.swap; | changeset | files |
| Thu, 08 Dec 2005 12:50:02 +0100 | wenzelm | * HOL: Theorem 'swap' is no longer bound at the ML top-level. | changeset | files |
| Thu, 08 Dec 2005 10:17:21 +0100 | berghofe | Adapted to new type of PureThy.add_defs_i. | changeset | files |
| Wed, 07 Dec 2005 16:47:04 +0100 | wenzelm | replaced swap by Classical.swap; | changeset | files |