spins_kripke.hh 9.33 KB