| 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 |
| Tue, 31 Mar 2015 16:48:48 +0100 | paulson | rationalised and generalised some theorems concerning abs and x^2. | file | diff | annotate |
| Wed, 18 Feb 2015 22:46:47 +0100 | haftmann | inlined rules to free user-space from technical names | file | diff | annotate |
| Wed, 28 Jan 2015 11:17:21 +0100 | hoelzl | moved bcontfun from AFP/Ordinary_Differential_Equations | file | diff | annotate |