src/plugins/wp/tests/wp_plugin/import_inductive.i

src/plugins/wp/tests/wp_plugin/import_int.i

src/plugins/wp/tests/wp_plugin/import_option.i

src/plugins/wp/tests/wp_plugin/import_real_infix.i

src/plugins/wp/tests/wp_plugin/import_unexisting.i

src/plugins/wp/tests/wp_plugin/import_unitex.i

src/plugins/wp/tests/wp_plugin/import_unitex.mlw

...ins/wp/tests/wp_plugin/oracle/import_inductive.res.oracle

src/plugins/wp/tests/wp_plugin/oracle/import_int.res.oracle

...lugins/wp/tests/wp_plugin/oracle/import_option.res.oracle

...ns/wp/tests/wp_plugin/oracle/import_real_infix.res.oracle

...ns/wp/tests/wp_plugin/oracle/import_unexisting.res.oracle

...lugins/wp/tests/wp_plugin/oracle/import_unitex.res.oracle

...tests/wp_plugin/oracle_qualif/import_inductive.res.oracle

...ns/wp/tests/wp_plugin/oracle_qualif/import_int.res.oracle

...wp/tests/wp_plugin/oracle_qualif/import_option.res.oracle

...ests/wp_plugin/oracle_qualif/import_real_infix.res.oracle

...wp/tests/wp_plugin/oracle_qualif/import_unitex.res.oracle