ballarin [Wed, 15 Aug 2012 23:06:17 +0200] rev 49839
Clarification: free variables allowed in interpreted locale instances.
nipkow [Wed, 15 Aug 2012 15:10:42 +0200] rev 49838
merged
nipkow [Wed, 15 Aug 2012 14:26:42 +0200] rev 49837
fixed proof
nipkow [Wed, 15 Aug 2012 14:00:12 +0200] rev 49836
abstracted lemmas
nipkow [Wed, 15 Aug 2012 12:56:54 +0200] rev 49835
Backed out changeset 6cf7a9d8bbaf
nipkow [Wed, 15 Aug 2012 12:18:30 +0200] rev 49834
abstracted lemmas
webertj [Wed, 15 Aug 2012 13:43:49 +0200] rev 49833
merged
webertj [Wed, 15 Aug 2012 13:43:42 +0200] rev 49832
Turned into Admin tool download_components.
wenzelm [Wed, 15 Aug 2012 13:07:24 +0200] rev 49831
tuned;
wenzelm [Wed, 15 Aug 2012 12:54:25 +0200] rev 49830
tuned;