wenzelm [Wed, 23 Dec 2015 17:35:07 +0100] rev 61922
NEWS;
wenzelm [Wed, 23 Dec 2015 17:24:12 +0100] rev 61921
tuned;
wenzelm [Wed, 23 Dec 2015 16:43:31 +0100] rev 61920
merged
wenzelm [Wed, 23 Dec 2015 16:38:23 +0100] rev 61919
tuned module arrangement;
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;