/abs.ax/1.3/Sat Feb  2 16:34:22 2008//
/acos.ax/1.1/Thu Sep 23 13:23:33 2010//
/asin-lower.ax/1.3/Mon Jan 10 16:48:50 2011//
/asin-upper.ax/1.3/Mon Jan 10 16:48:50 2011//
/atan-extended.ax/1.4/Thu Jan  6 16:46:41 2011//
/atan-extended2.ax/1.2/Thu Jan  6 16:46:41 2011//
/atan-lower.ax/1.22/Fri Dec  2 17:39:53 2011//
/atan-upper.ax/1.21/Fri Dec  2 17:39:53 2011//
/cbrt-lower.ax/1.3/Mon Feb  6 14:44:01 2012//
/cbrt-upper.ax/1.3/Mon Feb  6 14:44:01 2012//
/cos-constant.ax/1.1/Wed May 25 13:44:37 2011//
/cos-extended.ax/1.5/Fri Nov 11 15:53:30 2011//
/cos-extended2.ax/1.1/Fri Nov 11 15:53:30 2011//
/cos-linear.ax/1.1/Fri Nov 11 15:53:30 2011//
/cos.ax/1.10/Fri Nov 11 15:53:30 2011//
/cosh-lower.ax/1.4/Mon Jan 10 16:48:50 2011//
/cosh-upper.ax/1.2/Wed Mar 31 20:17:03 2010//
/exp-extended.ax/1.2/Tue Feb 21 11:22:09 2012//
/exp-general.ax/1.4/Fri Oct  3 16:00:30 2008//
/exp-lower.ax/1.7/Fri Oct 17 16:16:23 2008//
/exp-upper.ax/1.13/Tue Feb 21 11:22:09 2012//
/general.ax/1.6/Thu Sep 22 15:06:34 2011//
/ln-extended.ax/1.3/Tue Jan 31 14:26:05 2012//
/ln-general.ax/1.6/Tue Jan 31 14:26:05 2012//
/ln-lower.ax/1.12/Wed Mar 21 15:17:37 2012//
/ln-upper.ax/1.11/Tue Jan 31 14:26:06 2012//
/log.ax/1.1/Wed Mar 21 15:17:37 2012//
/minmax.ax/1.1/Tue Sep 27 09:51:58 2011//
/pi.ax/1.7/Tue Sep 20 14:24:40 2011//
/pow.ax/1.1/Fri Oct 17 16:16:23 2008//
/sin-constant.ax/1.1/Wed May 25 13:44:37 2011//
/sin-extended.ax/1.4/Fri Nov 11 15:53:30 2011//
/sin-extended2.ax/1.3/Fri Nov 11 15:53:30 2011//
/sin-linear.ax/1.1/Fri Nov 11 15:53:30 2011//
/sin.ax/1.8/Fri Nov 11 15:53:30 2011//
/sinh-lower.ax/1.4/Mon Jan 10 16:48:50 2011//
/sinh-upper.ax/1.3/Wed Mar 31 20:17:03 2010//
/sqrt-extended.ax/1.3/Fri Nov 11 15:53:30 2011//
/sqrt-general-strict.ax/1.1/Wed Mar 21 15:47:33 2012//
/sqrt-general.ax/1.2/Wed Feb  1 15:37:03 2012//
/sqrt-lower.ax/1.15/Fri Nov 11 15:53:30 2011//
/sqrt-upper.ax/1.11/Tue Sep 20 14:24:40 2011//
/tan-lower.ax/1.8/Thu Jun 23 11:19:42 2011//
/tan-upper.ax/1.8/Thu Jun 23 11:19:42 2011//
/tan.ax/1.1/Fri Oct 17 16:16:24 2008//
/tanh-lower.ax/1.3/Mon Jan 10 16:48:50 2011//
/tanh-upper.ax/1.3/Mon Jan 10 16:48:50 2011//
/trans.ax/1.1/Wed Aug  5 11:37:31 2009//
D
