* include/vaucanson/algebra/concrete/letter/couple_letter.hxx,
	* include/vaucanson/algebra/concrete/letter/couple_letter.hh,
	* include/vaucanson/algebra/concrete/letter/char_letter.hh,
	* include/vaucanson/algebra/concrete/letter/range.hh,
	* include/vaucanson/algebra/concrete/letter/range.hxx,
	* include/vaucanson/algebra/concrete/letter/int_letter.hxx,
	* include/vaucanson/algebra/concrete/letter/int_letter.hh,
	* include/vaucanson/algebra/concrete/alphabets/alphabets.hh,
	* include/vaucanson/algebra/concrete/alphabets/decorated_alphabet.hh,
	* include/vaucanson/algebra/concrete/alphabets/decorated_alphabet.hxx,
	* include/vaucanson/algebra/concrete/alphabets/predefs.hh,
	* include/vaucanson/algebra/concrete/alphabets/set_alphabet.hh,
	* include/vaucanson/algebra/concrete/alphabets/set_alphabet.hxx,
	* include/vaucanson/algebra/concrete/free_monoid/predefs.hh,
	* include/vaucanson/algebra/concrete/free_monoid/str_words.hh,
	* include/vaucanson/algebra/concrete/free_monoid/str_words.hxx,
	* include/vaucanson/algebra/concrete/free_monoid/words.hh,
	* include/vaucanson/algebra/concrete/free_monoid/words.hxx,
	* include/vaucanson/algebra/concrete/free_monoid/tools.hh,
	* include/vaucanson/algebra/concrete/free_monoid/tools.hxx,
	* include/vaucanson/algebra/concrete/semiring/numerical_semiring.hh,
	* include/vaucanson/algebra/concrete/semiring/numerical_semiring.hxx,
	* include/vaucanson/algebra/concrete/semiring/tropical_semiring.hh,
	* include/vaucanson/algebra/concrete/semiring/tropical_semiring.hxx,
	* include/vaucanson/algebra/concrete/semiring/rational_number.hxx,
	* include/vaucanson/algebra/concrete/semiring/rational_number.hh,
	* include/vaucanson/algebra/concrete/series/rat/depth_visitor.hh,
	* include/vaucanson/algebra/concrete/series/rat/depth_visitor.hxx,
	* include/vaucanson/algebra/concrete/series/rat/dump_visitor.hh,
	* include/vaucanson/algebra/concrete/series/rat/dump_visitor.hxx,
	* include/vaucanson/algebra/concrete/series/rat/exp.hh,
	* include/vaucanson/algebra/concrete/series/rat/exp.hxx,
	* include/vaucanson/algebra/concrete/series/rat/nodes.hh,
	* include/vaucanson/algebra/concrete/series/rat/nodes.hxx,
	* include/vaucanson/algebra/concrete/series/rat/random_visitor.hh,
	* include/vaucanson/algebra/concrete/series/rat/random_visitor.hxx,
	* include/vaucanson/algebra/concrete/series/generalized.hh,
	* include/vaucanson/algebra/concrete/series/generalized.hxx,
	* include/vaucanson/algebra/concrete/series/krat.hh,
	* include/vaucanson/algebra/concrete/series/krat.hxx,
	* include/vaucanson/algebra/concrete/series/krat_conversion.hh,
	* include/vaucanson/algebra/concrete/series/krat_conversion.hxx,
	* include/vaucanson/algebra/concrete/series/krat_exp_parser.hh,
	* include/vaucanson/algebra/concrete/series/krat_exp_parser.hxx,
	* include/vaucanson/algebra/concrete/series/krat_exp_pattern.hh,
	* include/vaucanson/algebra/concrete/series/krat_exp_pattern.hxx,
	* include/vaucanson/algebra/concrete/series/krat_coefficient.hxx,
	* include/vaucanson/algebra/concrete/series/krat_coefficient.hh,
	* include/vaucanson/algebra/concrete/series/krat_exp_support.hxx,
	* include/vaucanson/algebra/concrete/series/krat_exp_is_finite_app.hxx,
	* include/vaucanson/algebra/concrete/series/polynoms.hh,
	* include/vaucanson/algebra/concrete/series/polynoms.hxx,
	* include/vaucanson/algebra/concrete/series/series.hh,
	* include/vaucanson/algebra/concrete/series/series.hxx,
	* include/vaucanson/algebra/concrete/series/transpose.hh,
	* include/vaucanson/algebra/concrete/series/transpose.hxx,
	* include/vaucanson/algebra/concrete/series/krat_exp_verbalization.hh,
	* include/vaucanson/algebra/concrete/series/krat_exp_verbalization.hxx,
	* include/vaucanson/algebra/concrete/series/krat_exp_transpose.hxx,
	* include/vaucanson/algebra/concrete/predefs.hh: Move to...
	* include/vaucanson/algebra/implementation/letter/couple_letter.hxx,
	* include/vaucanson/algebra/implementation/letter/couple_letter.hh,
	* include/vaucanson/algebra/implementation/letter/char_letter.hh,
	* include/vaucanson/algebra/implementation/letter/range.hh,
	* include/vaucanson/algebra/implementation/letter/range.hxx,
	* include/vaucanson/algebra/implementation/letter/int_letter.hxx,
	* include/vaucanson/algebra/implementation/letter/int_letter.hh,
	* include/vaucanson/algebra/implementation/alphabets/alphabets.hh,
	* include/vaucanson/algebra/implementation/alphabets/decorated_alphabet.hh,
	* include/vaucanson/algebra/implementation/alphabets/decorated_alphabet.hxx,
	* include/vaucanson/algebra/implementation/alphabets/predefs.hh,
	* include/vaucanson/algebra/implementation/alphabets/set_alphabet.hh,
	* include/vaucanson/algebra/implementation/alphabets/set_alphabet.hxx,
	* include/vaucanson/algebra/implementation/free_monoid/predefs.hh,
	* include/vaucanson/algebra/implementation/free_monoid/str_words.hh,
	* include/vaucanson/algebra/implementation/free_monoid/str_words.hxx,
	* include/vaucanson/algebra/implementation/free_monoid/words.hh,
	* include/vaucanson/algebra/implementation/free_monoid/words.hxx,
	* include/vaucanson/algebra/implementation/free_monoid/tools.hh,
	* include/vaucanson/algebra/implementation/free_monoid/tools.hxx,
	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hh,
	* include/vaucanson/algebra/implementation/semiring/numerical_semiring.hxx,
	* include/vaucanson/algebra/implementation/semiring/tropical_semiring.hh,
	* include/vaucanson/algebra/implementation/semiring/tropical_semiring.hxx,
	* include/vaucanson/algebra/implementation/semiring/rational_number.hxx,
	* include/vaucanson/algebra/implementation/semiring/rational_number.hh,
	* include/vaucanson/algebra/implementation/series/rat/depth_visitor.hh,
	* include/vaucanson/algebra/implementation/series/rat/depth_visitor.hxx,
	* include/vaucanson/algebra/implementation/series/rat/dump_visitor.hh,
	* include/vaucanson/algebra/implementation/series/rat/dump_visitor.hxx,
	* include/vaucanson/algebra/implementation/series/rat/exp.hh,
	* include/vaucanson/algebra/implementation/series/rat/exp.hxx,
	* include/vaucanson/algebra/implementation/series/rat/nodes.hh,
	* include/vaucanson/algebra/implementation/series/rat/nodes.hxx,
	* include/vaucanson/algebra/implementation/series/rat/random_visitor.hh,
	* include/vaucanson/algebra/implementation/series/rat/random_visitor.hxx,
	* include/vaucanson/algebra/implementation/series/generalized.hh,
	* include/vaucanson/algebra/implementation/series/generalized.hxx,
	* include/vaucanson/algebra/implementation/series/krat.hh,
	* include/vaucanson/algebra/implementation/series/krat.hxx,
	* include/vaucanson/algebra/implementation/series/krat_conversion.hh,
	* include/vaucanson/algebra/implementation/series/krat_conversion.hxx,
	* include/vaucanson/algebra/implementation/series/krat_exp_parser.hh,
	* include/vaucanson/algebra/implementation/series/krat_exp_parser.hxx,
	* include/vaucanson/algebra/implementation/series/krat_exp_pattern.hh,
	* include/vaucanson/algebra/implementation/series/krat_exp_pattern.hxx,
	* include/vaucanson/algebra/implementation/series/krat_coefficient.hxx,
	* include/vaucanson/algebra/implementation/series/krat_coefficient.hh,
	* include/vaucanson/algebra/implementation/series/krat_exp_support.hxx,
	* include/vaucanson/algebra/implementation/series/krat_exp_is_finite_app.hxx,
	* include/vaucanson/algebra/implementation/series/polynoms.hh,
	* include/vaucanson/algebra/implementation/series/polynoms.hxx,
	* include/vaucanson/algebra/implementation/series/series.hh,
	* include/vaucanson/algebra/implementation/series/series.hxx,
	* include/vaucanson/algebra/implementation/series/transpose.hh,
	* include/vaucanson/algebra/implementation/series/transpose.hxx,
	* include/vaucanson/algebra/implementation/series/krat_exp_verbalization.hh,
	* include/vaucanson/algebra/implementation/series/krat_exp_verbalization.hxx,
	* include/vaucanson/algebra/implementation/series/krat_exp_transpose.hxx,
	* include/vaucanson/algebra/implementation/predefs.hh: ...these and update
	  include directives.
	* include/vaucanson/automata/concrete/graph.hxx,
	* include/vaucanson/automata/concrete/graph.hh,
	* include/vaucanson/automata/concrete/kind_adapter.hh,
	* include/vaucanson/automata/concrete/generalized.hh,
	* include/vaucanson/automata/concrete/generalized.hxx,
	* include/vaucanson/automata/concrete/transpose_view.hh,
	* include/vaucanson/automata/concrete/transpose_view.hxx,
	* include/vaucanson/automata/concrete/automaton_view.hh,
	* include/vaucanson/automata/concrete/automaton_view.hxx,
	* include/vaucanson/automata/concrete/kind_adapter.hxx: Move to...
	* include/vaucanson/automata/implementation/graph.hxx,
	* include/vaucanson/automata/implementation/graph.hh,
	* include/vaucanson/automata/implementation/kind_adapter.hh,
	* include/vaucanson/automata/implementation/generalized.hh,
	* include/vaucanson/automata/implementation/generalized.hxx,
	* include/vaucanson/automata/implementation/transpose_view.hh,
	* include/vaucanson/automata/implementation/transpose_view.hxx,
	* include/vaucanson/automata/implementation/automaton_view.hh,
	* include/vaucanson/automata/implementation/automaton_view.hxx,
	* include/vaucanson/automata/implementation/kind_adapter.hxx: ...these,
	  and update include directives.
	* doc/tutorial/tutorial.tex,
	* include/Makefile.am,
	* include/vaucanson/misc/random.hh,
	* src/tests/algebra/series/krat/main/krat_exp_parse_test.hh,
	* include/vaucanson/algorithms/standard_of.hxx,
	* include/vaucanson/algorithms/minimization_hopcroft.hxx,
	* include/vaucanson/algorithms/aci_canonical.hxx,
	* include/vaucanson/algorithms/accessible.hxx,
	* include/vaucanson/algorithms/thompson.hh,
	* include/vaucanson/algorithms/transpose.hxx,
	* include/vaucanson/algorithms/krat_exp_partial_derivation.hxx,
	* include/vaucanson/algorithms/krat_exp_constant_term.hxx,
	* include/vaucanson/algorithms/krat_exp_derivation.hxx,
	* include/vaucanson/algorithms/krat_exp_realtime.hxx,
	* include/vaucanson/algorithms/krat_exp_linearize.hxx,
	* include/vaucanson/algorithms/krat_exp_linearize.hh,
	* include/vaucanson/algorithms/internal/partial_rat_exp_derivation.hxx,
	* include/vaucanson/algorithms/internal/partial_rat_exp.hh,
	* include/vaucanson/tools/usual.hh,
	* include/vaucanson/tools/usual_io.hxx,
	* src/tests/automata/algos/concat_test.hh,
	* src/tests/automata/algos/elimination_test.hh,
	* src/tests/automata/algos/generalized_test.hh,
	* src/tests/automata/algos/glushkov_test.hh,
	* src/tests/automata/algos/thompson_test.hh,
	* src/tests/automata/algos/in_concat_test.hh,
	* src/tests/tests-suites/algebra_numerical_semiring_int.defs,
	* src/tests/tests-suites/algebra_alphabet_set_char.defs,
	* src/tests/tests-suites/algebra_free_monoid_string.defs,
	* src/tests/tests-suites/algebra_tropical_semiring_max.defs,
	* src/tests/tests-suites/algebra_series_krat_int_string.defs,
	* src/tests/tests-suites/algebra_series_krat_derivation.defs,
	* src/demos/fsm/generate_toolbox.sh,
	* src/demos/samples/algebra/alphabet.cc,
	* src/demos/samples/algebra/decorated_alphabet.cc,
	* src/demos/samples/algebra/free_monoid.cc,
	* src/demos/samples/algebra/semiring.cc,
	* src/demos/samples/algebra/series.cc,
	* src/demos/samples/algorithms/derivatives_automaton.cc,
	* src/demos/vgrep/vgrep.cc,
	* src/demos/vaucanswig/meta/vaucanswig_context.i,
	* src/demos/vaucanswig/meta/vaucanswig_automaton.i,
	* src/demos/vaucanswig/meta/vaucanswig_algo_common.i,
	* include/vaucanson/boolean_automaton.hh,
	* include/vaucanson/z_max_plus_automaton.hh,
	* include/vaucanson/z_automaton.hh,
	* include/vaucanson/r_automaton.hh,
	* src/demos/fibonacci/fibonacci.cc,
	* include/vaucanson/algorithms/krat_exp_print.hh,
	* include/vaucanson/algorithms/krat_exp_print.hxx,
	* src/tests/algebra/series/krat/main/krat_exp_verbalization_test.hh,
	* include/vaucanson/algorithms/krat_exp_flatten.hxx,
	* src/tests/tests-suites/algebra_numerical_semiring_rational.defs,
	* src/tests/tests-suites/algebra_numerical_semiring_float.defs,
	* src/tests/tests-suites/algebra_numerical_semiring_double.defs,
	* src/tests/tests-suites/algebra_numerical_semiring_bool.defs,
	* src/tests/algebra/series/krat/main/krat_exp_aci_canonical_test.hh,
	* src/tests/algebra/series/polynom/series_polynom_test.hh,
	* src/tests/tests-suites/algebra_series_polynom_bool_string.defs,
	* src/tests/tests-suites/algebra_series_polynom_double_string.defs,
	* src/tests/tests-suites/algebra_series_polynom_int_string.defs,
	* src/tests/automata/algos/krat_exp_realtime_conflict_test.hh,
	* src/tests/tests-suites/algebra_series_krat_cderivation.defs,
	* src/tests/tests-suites/algebra_alphabet_set_alpha.defs,
	* src/tests/tests-suites/algebra_alphabet_set_int.defs,
	* src/tests/tests-suites/algebra_alphabet_set_pair_char_int.defs,
	* src/tests/tests-suites/algebra_series_krat_bool_string.defs,
	* src/tests/tests-suites/algebra_series_krat_double_string.defs,
	* include/vaucanson/xml/krat_to_polynom.hh,
	* include/vaucanson/xml/xml_ops.hxx,
	* include/vaucanson/xml/xml_automaton.hxx,
	* include/vaucanson/xml/callback.hxx,
	* include/vaucanson/xml/types.hh,
	* src/tests/tests-suites/algebra_series_krat_partial_derivation.defs,
	* src/tests/automata/algos/brzozowski_test.hh,
	* src/tests/automata/algos/berry_sethi_test.hh,
	* src/tests/automata/algos/derivatives_automaton_test.hh,
	* src/tests/automata/algos/aci_canonical_test.hh: Replace concrete by
	  implementation.