Wed, 13 Jul 2016 17:14:17 +0100 | paulson | lots of new theorems about differentiable_on, retracts, ANRs, etc. | file | diff | annotate |
Fri, 10 Jun 2016 13:54:50 +0100 | paulson | Better treatment of assumptions/goals that are simply Boolean variables. Also cosmetic changes. | file | diff | annotate |
Fri, 27 May 2016 20:23:55 +0200 | wenzelm | tuned proofs, to allow unfold_abs_def; | file | diff | annotate |
Wed, 25 May 2016 16:01:42 +0200 | wenzelm | updated 'define'; | file | diff | annotate |
Wed, 25 May 2016 11:49:40 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
Tue, 10 May 2016 14:04:44 +0100 | paulson | Theory of polyhedra: faces, extreme points, polytopes, and the Krein–Milman | file | diff | annotate |