krauss [Wed, 13 Jul 2011 15:50:45 +0200] rev 44664
experimental variants of Library/Cset.thy and Library/Dlist_Cset.thy defined via quotient package
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 13 Jul 2011 04:00:32 +0900] rev 44663
merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 13 Jul 2011 11:31:36 +0900] rev 44662
Tuned
wenzelm [Tue, 12 Jul 2011 23:22:22 +0200] rev 44661
more thorough Variable.check_name: Binding.check for logical entities within the term language;
wenzelm [Tue, 12 Jul 2011 23:20:34 +0200] rev 44660
tuned;
wenzelm [Tue, 12 Jul 2011 20:53:14 +0200] rev 44659
merged
wenzelm [Tue, 12 Jul 2011 20:11:11 +0200] rev 44658
ML pp for XML.tree;
wenzelm [Tue, 12 Jul 2011 20:11:00 +0200] rev 44657
made SML/NJ happy;
wenzelm [Tue, 12 Jul 2011 19:49:35 +0200] rev 44656
clarified YXML.detect;
wenzelm [Tue, 12 Jul 2011 19:47:40 +0200] rev 44655
retain some terminology of "XML attributes";