/abs_tools.sml/1.5/Thu Dec 28 15:16:43 2000//
/abstraction.sig/1.2/Thu Dec 28 15:16:43 2000//
/abstraction.sml/1.4/Thu Dec 28 15:16:43 2000//
/canonicalScript.sml/1.6/Thu Dec 28 15:16:44 2000//
/integerRingLib.sig/1.2/Thu Dec 28 15:16:43 2000//
/integerRingLib.sml/1.2/Thu Dec 28 15:16:43 2000//
/integerRingScript.sml/1.2/Thu Dec 28 15:16:44 2000//
/numRingLib.sig/1.1/Thu Dec 28 15:16:43 2000//
/numRingLib.sml/1.2/Thu Dec 28 15:16:44 2000//
/numRingScript.sml/1.3/Thu Dec 28 15:16:44 2000//
/quote.sml/1.2/Thu Dec 28 15:16:43 2000//
/ringLib.sig/1.3/Thu Dec 28 15:16:44 2000//
/ringNormScript.sml/1.5/Thu Dec 28 15:16:43 2000//
/ringLib.sml/1.6/Tue Feb  6 18:03:35 2001//
/ringScript.sml/1.5/Mon May 14 13:18:07 2001//
/semi_ringScript.sml/1.5/Mon May 14 13:18:07 2001//
/prelimScript.sml/1.11/Thu Jun  7 15:23:15 2001//
/quoteScript.sml/1.8/Thu Jun  7 15:22:58 2001//
D
