| 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 |
| Mon, 02 Feb 2009 13:56:23 +0100 | haftmann | fixed proposition slip | changeset | files |
| Mon, 02 Feb 2009 13:56:22 +0100 | haftmann | added Mapping.thy to Library | changeset | files |
| Mon, 02 Feb 2009 13:56:22 +0100 | haftmann | dropped Id | changeset | files |
| Mon, 02 Feb 2009 09:27:54 +0100 | haftmann | updated type class section | changeset | files |
| Mon, 02 Feb 2009 09:01:14 +0100 | haftmann | updated class documentation | changeset | files |
| Sun, 01 Feb 2009 19:59:20 +0100 | haftmann | merged | changeset | files |
| Sun, 01 Feb 2009 19:59:04 +0100 | haftmann | added State_Monad theory in session | changeset | files |
| Sun, 01 Feb 2009 19:58:02 +0100 | haftmann | proper declared constants in class expressions | changeset | files |
| Sat, 31 Jan 2009 09:04:42 +0100 | nipkow | merged | changeset | files |
| Sat, 31 Jan 2009 09:04:16 +0100 | nipkow | added some simp rules | changeset | files |
| Fri, 30 Jan 2009 17:47:34 +0100 | krauss | fixed case | changeset | files |
| Fri, 30 Jan 2009 13:41:45 +0000 | chaieb | Fixed theory name | changeset | files |