spins_kripke.hh 9.22 KB