| Sat, 11 Apr 2015 22:18:33 +0100 | paulson | Complex roots of unity. Better definition of ln for complex numbers. Used [code del] to stop code generation for powr. | file | diff | annotate |
| Sat, 11 Apr 2015 11:56:40 +0100 | paulson | Overloading of ln and powr, but "approximation" no longer works for powr. Code generation also fails due to type ambiguity in scala. | file | diff | annotate |
| Wed, 01 Apr 2015 14:48:38 +0100 | paulson | HOL Light Libraries for complex Arctan, Arcsin, Arccos | file | diff | annotate |
| Tue, 31 Mar 2015 15:00:03 +0100 | paulson | New material and binomial fix | file | diff | annotate |
| Thu, 19 Mar 2015 14:24:51 +0000 | paulson | New material for complex sin, cos, tan, Ln, also some reorganisation | file | diff | annotate |
| Wed, 18 Mar 2015 17:23:22 +0000 | paulson | new HOL Light material about exp, sin, cos | file | diff | annotate |
| Wed, 18 Mar 2015 14:55:17 +0000 | paulson | new file for complex transcendental functions | file | diff | annotate |