wenzelm [Wed, 23 Dec 2015 16:33:15 +0100] rev 61918
tuned module arrangement;
wenzelm [Wed, 23 Dec 2015 14:40:18 +0100] rev 61917
check and report source at most once, notably in body of "match" method;
immler [Wed, 23 Dec 2015 14:36:45 +0100] rev 61916
transfer rule for bounded_linear of blinfun
immler [Tue, 22 Dec 2015 21:58:27 +0100] rev 61915
theory for type of bounded linear functions; differentiation under the integral sign
haftmann [Tue, 22 Dec 2015 15:39:01 +0100] rev 61914
stripped some legacy
haftmann [Tue, 22 Dec 2015 15:38:59 +0100] rev 61913
tuned proofs and augmented some lemmas
wenzelm [Tue, 22 Dec 2015 17:41:46 +0100] rev 61912
more standard nesting of sub-language: Parse.text allows atomic entities without quotes;
wenzelm [Tue, 22 Dec 2015 17:14:35 +0100] rev 61911
proper full name within the name space of the method definition;
wenzelm [Tue, 22 Dec 2015 16:35:41 +0100] rev 61910
tuned signature;
tuned;
wenzelm [Tue, 22 Dec 2015 16:34:57 +0100] rev 61909
isabelle update_cartouches -c -t;