wenzelm [Wed, 18 Sep 2019 20:53:53 +0200] rev 70730
support soft types for 'assume';
clarified "text": avoid polymorphism due to premature export;
wenzelm [Wed, 18 Sep 2019 20:10:15 +0200] rev 70729
more robust declaration of resulting statement text, instead of somewhat accidental (Variable.maybe_bind_term result_binds in generic_goal);
wenzelm [Tue, 17 Sep 2019 17:06:05 +0200] rev 70728
clarified modules;
wenzelm [Tue, 17 Sep 2019 16:26:57 +0200] rev 70727
clarified signature -- removed unused option (see acb0807ddb56);
paulson <lp15@cam.ac.uk> [Thu, 19 Sep 2019 14:49:19 +0100] rev 70726
one small last theorem
paulson <lp15@cam.ac.uk> [Thu, 19 Sep 2019 13:59:29 +0100] rev 70725
Four new results from Smooth_Manifolds/Analysis_More
paulson <lp15@cam.ac.uk> [Thu, 19 Sep 2019 12:36:15 +0100] rev 70724
A few more simple results
paulson <lp15@cam.ac.uk> [Wed, 18 Sep 2019 14:41:37 +0100] rev 70723
imported new material mostly due to Sébastien Gouëzel
paulson <lp15@cam.ac.uk> [Tue, 17 Sep 2019 16:21:31 +0100] rev 70722
A couple of new theorems, stolen from AFP entries
paulson <lp15@cam.ac.uk> [Tue, 17 Sep 2019 12:36:04 +0100] rev 70721
A few new theorems, tidying up and deletion of obsolete material