| Sun, 08 Mar 2009 12:16:12 +0100 | wenzelm | proper context for Simplifier.pretty_ss; | changeset | files |
| Sun, 08 Mar 2009 12:15:58 +0100 | wenzelm | added dest_ss; | changeset | files |
| Sun, 08 Mar 2009 00:41:52 +0100 | wenzelm | use binding type; | changeset | files |
| Sun, 08 Mar 2009 00:16:34 +0100 | wenzelm | merged | changeset | files |
| Sat, 07 Mar 2009 23:41:04 +0100 | haftmann | merged | changeset | files |
| Sat, 07 Mar 2009 15:20:32 +0100 | haftmann | restructured theory Set.thy | changeset | files |
| Sat, 07 Mar 2009 23:37:09 +0100 | wenzelm | merged | changeset | files |
| Sat, 07 Mar 2009 17:05:40 +0100 | blanchet | Removed "nitpick_maybe" constant. Makarius now taught me a much nicer trick. | changeset | files |