paulson <lp15@cam.ac.uk> [Thu, 16 Jun 2016 12:05:04 +0100] rev 63307
Removed instances of ^ from theory markup
eberlm [Thu, 16 Jun 2016 17:57:09 +0200] rev 63306
Various additions to polynomials, FPSs, Gamma function
paulson <lp15@cam.ac.uk> [Wed, 15 Jun 2016 15:52:24 +0100] rev 63305
Urysohn's lemma, Dugundji extension theorem and many other proofs
haftmann [Tue, 14 Jun 2016 20:48:42 +0200] rev 63304
non-deprecated char literals for Scala
haftmann [Tue, 14 Jun 2016 20:48:41 +0200] rev 63303
explicit resolution of ambiguous dictionaries
paulson <lp15@cam.ac.uk> [Tue, 14 Jun 2016 15:54:28 +0100] rev 63302
Merge
paulson <lp15@cam.ac.uk> [Tue, 14 Jun 2016 15:34:21 +0100] rev 63301
new results about topology
eberlm [Tue, 14 Jun 2016 15:35:14 +0200] rev 63300
Merged
wenzelm [Tue, 14 Jun 2016 13:52:59 +0200] rev 63299
tuned;
eberlm [Tue, 14 Jun 2016 13:14:11 +0200] rev 63298
Integration by substitution