| 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 |