knuton/la-girafe-sportive — pull request #17 by knuton (2014-01-20 00:18:58+00:00)
Title: Add partial defs and lemmas from Kashima paper

I seem to have broken something in one of my proofs while merging. Need to look into this with fresh brain.