Myhill.thy
2010-12-14 wu Add new file for the new definition of the hard direction's simplification.
less more (0) tip