| 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 |