gfhcs/cp-material — pull request #3 by Inkane (2013-05-23 19:39:32+00:00)
Title: Adding a cheat sheet for inference rules

The cheat sheet still misses some rules for CCS_{vp}, but should be otherwise already usable. This pull request also adds some additional macros for CCS_{vp} to ccs_rules.