../tests/test_lists_coq_list_functions_4.ott
 ../tests/test_lists_coq_list_functions_3.ott
../tests/test_lists_coq_defn_subrule_3.ott
../tests/test_lists_coq_defn_subrule_2.ott
../tests/test_lists_coq_defn_subrule_1.ott 
sys-purecrdsub?         the one before sys-roughlyfullsimple
sys-roughlyfullsimple?  the one before sys-puresub
sys-sortoffullsimple?   the one before sys-tybool
../tests/test8.ott
../tests/test4.ott
../tests/test18.1.ott
../tests/test17.9.ott
../tests/test17.8.ott
../tests/test17.12.ott
../tests/test17.11.ott
../tests/test17.10.ott
