* spot/kripke/kripke.hh,
spot/ltsmin/Makefile.am,
spot/ltsmin/ltsmin.cc,
spot/ltsmin/ltsmin.hh,
spot/ltsmin/porinfos.cc,
spot/ltsmin/porinfos.hh,
spot/ltsmin/spins_interface.hh,
spot/ltsmin/spins_kripke.hh,
spot/ltsmin/spins_kripke.hxx: here.