ghilbert.py
spock.py
sugar_and_spock.py
setup.py
zfc/set_mm_ax.ghi
zfc/set_mm.gh
zfc/set_mm.ghi
pax_def/prop-min.ghi
pax_def/prop-min-zip.ghi
pax_def/prop.ghi
pax_def/prop-util1.ghi
pax_def/pred-set-eq.ghi
pax_def/prop-util1.gh
pax_def/pred-set-util.gh
pax_def/prop-ext.ghi
pax_def/pred-set-min.ghi
po/POTFILES.in
po/Spock.pot
activity/activity.info
activity/activity-spock.svg