/Algebra.sig/1.3/Wed Mar 21 17:57:23 2012//
/Algebra.sml/1.4/Wed Mar 21 17:57:23 2012//
/CADProjO.sig/1.1/Fri Jul  8 16:23:47 2011//
/CADProjO.sml/1.4/Mon Jan 23 23:44:45 2012//
/Calibrate.sig/1.1/Tue Nov 22 16:15:52 2011//
/Calibrate.sml/1.1/Tue Nov 22 16:15:52 2011//
/Common.sig/1.3/Wed Mar 21 17:57:23 2012//
/Common.sml/1.3/Wed Mar 21 17:57:23 2012//
/Groebner.sig/1.1/Wed Mar 21 17:57:23 2012//
/Groebner.sml/1.1/Wed Mar 21 17:57:23 2012//
/IntvlsFP.sig/1.6/Wed Mar 21 17:57:24 2012//
/IntvlsFP.sml/1.6/Wed Mar 21 17:57:24 2012//
/IntvlsQ.sig/1.1/Fri Jul  8 16:23:47 2011//
/IntvlsQ.sml/1.1/Fri Jul  8 16:23:47 2011//
/MTAlgebra.sig/1.1/Wed Aug  3 15:14:31 2011//
/MTAlgebra.sml/1.3/Wed Mar 21 17:57:24 2012//
/Nullsatz.sig/1.1/Wed Mar 21 22:41:35 2012//
/Nullsatz.sml/1.2/Wed Mar 21 17:57:24 2012//
/Qepcad.sig/1.4/Wed Mar 21 17:57:24 2012//
/Qepcad.sml/1.8/Wed Mar 21 17:57:24 2012//
/SMT.sig/1.2/Wed Mar 21 22:39:04 2012//
/SMT.sml/1.2/Wed Mar 21 22:39:05 2012//
D/doc////
/RCF.sig/1.8/Mon Mar 26 16:09:38 2012//
/RCF.sml/1.8/Mon Mar 26 16:09:26 2012//
/Mathematica.sig/1.10/Mon Mar 26 16:26:23 2012//
/Mathematica.sml/1.10/Mon Mar 26 16:27:34 2012//
