| Thu, 16 Oct 2008 22:44:24 +0200 | wenzelm | explicit SORT_CONSTRAINT for proofs depending implicitly on certain sorts; | changeset | files |
| Thu, 16 Oct 2008 22:44:22 +0200 | wenzelm | avoid CRITICAL with_path; | changeset | files |
| Thu, 16 Oct 2008 19:44:36 +0200 | huffman | rewrite more proofs in Isar style | changeset | files |
| Thu, 16 Oct 2008 17:52:54 +0200 | ballarin | Removed ex/Locales.thy. | changeset | files |
| Thu, 16 Oct 2008 17:19:47 +0200 | ballarin | More occurrences of 'includes' gone. | changeset | files |
| Thu, 16 Oct 2008 17:07:20 +0200 | ballarin | Removed outdated locales tutorial. | changeset | files |
| Thu, 16 Oct 2008 08:51:05 +0200 | haftmann | correct rounding | changeset | files |
| Thu, 16 Oct 2008 08:48:27 +0200 | haftmann | circumvent some TeX problem | changeset | files |
| Thu, 16 Oct 2008 00:18:53 +0200 | kleing | only test HOL image for smlnj | changeset | files |
| Wed, 15 Oct 2008 22:12:02 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 15 Oct 2008 21:45:02 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 15 Oct 2008 21:15:35 +0200 | wenzelm | generic ATP manager based on threads (by Fabian Immler); | changeset | files |