* spot/ltsmin/spins_kripke.hh,
spot/ltsmin/spins_kripke.hxx,
spot/mc/Makefile.am,
spot/mc/cond_dest.hh,
spot/mc/cond_dest_liveness.hh,
spot/mc/cond_dest_safety.hh,
spot/mc/mc.hh,
spot/mc/rsscc.hh,
spot/mc/rsscc_nosharing.hh,
tests/ltsmin/modelcheck.cc: Here.