wenzelm [Thu, 03 Oct 2013 17:03:20 +0200] rev 55192
Added tag Isabelle2013-1-RC1 for changeset c37100233af7
wenzelm [Thu, 03 Oct 2013 16:32:33 +0200] rev 55191
tuned;
wenzelm [Thu, 03 Oct 2013 16:25:40 +0200] rev 55190
tuned;
wenzelm [Thu, 03 Oct 2013 16:15:47 +0200] rev 55189
more notes;
wenzelm [Thu, 03 Oct 2013 16:09:47 +0200] rev 55188
tuned;
nipkow [Thu, 03 Oct 2013 12:34:32 +0200] rev 55187
added and generalised lemmas
ballarin [Thu, 03 Oct 2013 00:39:16 +0200] rev 55186
Streamlined locales reference material.
nipkow [Wed, 02 Oct 2013 23:05:36 +0200] rev 55185
merged
nipkow [Wed, 02 Oct 2013 22:32:50 +0200] rev 55184
tuned
traytel [Wed, 02 Oct 2013 22:59:54 +0200] rev 55183
merged