D/BoyerMoore////
D/IndDef////
D/bag////
D/basicHol90////
D/boss////
D/combin////
D/datatype////
D/decision////
D/finite_map////
D/goalstack////
D/hol88////
D/hol90////
D/ind_def////
D/integer////
D/list////
D/meson////
D/num////
D/one////
D/option////
D/pair////
D/parse////
D/portableML////
D/pred_set////
D/q////
D/quote-filter////
D/real////
D/refute////
D/relation////
D/res_quan////
D/set////
D/simp////
D/string////
D/sum////
D/taut////
D/tfl////
D/tree////
D/unwind////
D/HolBdd////
D/word////
D/muddy////
D/compute////
D/ring////
D/basicProof////
D/temporal////
D/llist////
D/reduce////
D/robdd////
D/arith////
D/ho_match////
D/lite////
D/utils////
D/prob////
D/bool////
D/0////
