D/muddyC////
D/buddy17////
/MuddyCore.sml/1.2/Thu Dec 28 15:16:25 2000//
/bdd.sig/1.3/Thu Dec 28 15:16:25 2000//
/bdd.sml/1.2/Thu Dec 28 15:16:24 2000//
/bvec.sig/1.2/Thu Dec 28 15:16:25 2000//
/bvec.sml/1.2/Thu Dec 28 15:16:25 2000//
/fdd.sig/1.2/Thu Dec 28 15:16:25 2000//
/fdd.sml/1.2/Thu Dec 28 15:16:25 2000//
/muddyLib.sig/1.1/Thu Dec 28 15:16:24 2000//
/muddyLib.sml/1.2/Thu Dec 28 15:16:25 2000//
