jwChung/Experimentalism — pull request #32 by jwChung (2014-04-07 14:24:42+00:00)
Title: FirstClassTheoremAttribute

Closes #23