MikeHaskel/galois-lascar-exposition — pull request #2 by MikeHaskelDemo (2014-12-01 21:39:34+00:00)
Title: Improved some things.

You should definitely include this, because I improved things.