8 months ago 
nipkow 
20180924 
Prefix form of infix with * on either side no longer needs special treatment
because (* and *) are no longer comment brackets in terms.

file  diff  annotate 
11 months ago 
Manuel Eberl 
20180713 
Tagged Ball_Volume and Gamma_Function in HOLAnalysis

file  diff  annotate 
14 months ago 
paulson 
20180415 
various new results on measures, integrals, etc., and some simplified proofs

file  diff  annotate 
14 months ago 
paulson 
20180412 
Analysis builds using set_borel_measurable_def, etc.

file  diff  annotate 
15 months ago 
paulson 
20180225 
new material on matrices, etc., and consolidating duplicate results about of_nat

file  diff  annotate 
17 months ago 
nipkow 
20180110 
ran isabelle update_op on all sources

file  diff  annotate 
18 months ago 
eberlm 
20171224 
Removed Analysis/ex/Circle_Area; replaced by more general Analysis/Ball_Volume

file  diff  annotate 