Thu, 22 Jun 2017 16:31:29 +0100 | paulson | New theorems and much tidying up of the old ones | file | diff | annotate |
Wed, 21 Jun 2017 17:13:55 +0100 | paulson | Tidying up integration theory and some new theorems | file | diff | annotate |
Mon, 19 Jun 2017 16:42:28 +0100 | paulson | Repaired an inadvertent reordering of the premises of two theorems | file | diff | annotate |
Mon, 19 Jun 2017 16:07:47 +0100 | paulson | New theorems; stronger theorems; tidier theorems. Also some renaming | file | diff | annotate |
Tue, 17 Jan 2017 13:59:10 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
Tue, 17 Jan 2017 11:26:21 +0100 | wenzelm | more symbols via abbrevs; | file | diff | annotate |
Mon, 17 Oct 2016 11:46:22 +0200 | nipkow | setsum -> sum | file | diff | annotate |
Thu, 29 Sep 2016 13:02:43 +0200 | hoelzl | HOL-Analysis: move gauges and (tagged) divisions to its own theory file | file | diff | annotate |