Fri, 06 Apr 2018 17:34:50 +0200 | immler | a first shot at tagging for HOL-Analysis manual | file | diff | annotate |
Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
Tue, 22 Aug 2017 21:36:48 +0200 | Manuel Eberl | Lemmas about analysis and permutations | file | diff | annotate |
Wed, 19 Apr 2017 16:26:09 +0200 | wenzelm | tuned imports; | file | diff | annotate |
Tue, 28 Feb 2017 13:51:47 +0000 | paulson | Renamed ii to imaginary_unit in order to free up ii as a variable name. Also replaced some legacy def commands | file | diff | annotate |
Mon, 17 Oct 2016 11:46:22 +0200 | nipkow | setsum -> sum | file | diff | annotate |
Fri, 30 Sep 2016 15:35:37 +0200 | hoelzl | HOL-Analysis: move Product_Vector and Inner_Product from Library | file | diff | annotate | base |