| Mon, 09 Feb 2009 12:52:16 +0100 | wenzelm | basic setup for chapter "The Isabelle/Isar Framework"; | changeset | files |
| Mon, 09 Feb 2009 12:49:13 +0100 | wenzelm | more refs; | changeset | files |
| Mon, 02 Feb 2009 22:16:41 +0100 | wenzelm | Compatibility wrapper for experimental versions of Poly/ML after 5.2.1. | changeset | files |
| Mon, 02 Feb 2009 15:12:22 +0100 | krauss | export lexicographic_order_tac | changeset | files |
| Mon, 02 Feb 2009 15:12:18 +0100 | krauss | fix potential incompleteness in SAT encoding | changeset | files |
| Mon, 02 Feb 2009 13:56:24 +0100 | haftmann | avoid name clash of generated modules and includes | changeset | files |
| Mon, 02 Feb 2009 13:56:23 +0100 | haftmann | strict check for locale target | changeset | files |