OKullmann/oklibrary — pull request #412 by MGwynne (2012-04-18 14:25:28+00:00)
Title: Reflection

Branch: reflection.
Repository: oklibrary.

Adding definitions of reflection and amplification clause-sets to Investigations and adding todos on investigating hardness of these clause-sets.

Matthew