2011-09-08 haftmann [Thu, 08 Sep 2011 11:31:53 +0200] rev 44840
merged

2011-09-08 haftmann [Thu, 08 Sep 2011 11:31:23 +0200] rev 44839
tuned

2011-09-08 haftmann [Thu, 08 Sep 2011 00:35:22 +0200] rev 44838
merged
src/HOL/Nominal/Nominal.thy

2011-09-07 haftmann [Wed, 07 Sep 2011 08:13:38 +0200] rev 44837
merged

2011-09-06 haftmann [Tue, 06 Sep 2011 22:37:32 +0200] rev 44836
merged

2011-09-06 haftmann [Tue, 06 Sep 2011 22:04:14 +0200] rev 44835
merged
src/HOL/Finite_Set.thy src/HOL/Nominal/Nominal.thy

2011-09-06 haftmann [Tue, 06 Sep 2011 07:23:45 +0200] rev 44834
merged
src/Pure/General/xml.ML src/Pure/General/xml.scala src/Pure/General/yxml.ML src/Pure/General/yxml.scala src/Tools/jEdit/README

2011-09-05 haftmann [Mon, 05 Sep 2011 22:02:32 +0200] rev 44833
tuned
src/HOL/Nominal/Nominal.thy

2011-09-05 haftmann [Mon, 05 Sep 2011 19:18:38 +0200] rev 44832
merged

2011-09-05 haftmann [Mon, 05 Sep 2011 07:49:31 +0200] rev 44831
tuned
src/HOL/Finite_Set.thy