From: Ralf Jung Date: Tue, 15 Oct 2013 08:36:18 +0000 (+0200) Subject: introduce abstract states for each side of the Rubikon X-Git-Url: https://git.ralfj.de/saartuer.git/commitdiff_plain/05d80f06d0d28433e7b730e6290b79c7d0e32c6b?ds=inline;hp=05d80f06d0d28433e7b730e6290b79c7d0e32c6b introduce abstract states for each side of the Rubikon ---