Myhill.thy
Tue, 14 Dec 2010 14:31:31 +0000 wu Add new file for the new definition of the hard direction's simplification.
less more (0) tip