| Mon, 24 Jan 2011 11:29:55 +0000 | zhang | Directory [tphols-2011] is added to host the commented version of [Myhill.thy]. Directory [pres] is created to host a build session for logical image [ListP] which is essentially [Main] extended with [List_prefix.thy]. | file | diff | annotate |
| Fri, 07 Jan 2011 14:25:23 +0000 | wu | Beautifying of the Other Direction is finished. | file | diff | annotate |
| Fri, 31 Dec 2010 13:47:53 +0000 | wu | Rewritten of hard direction once more. To make it looking better. | file | diff | annotate |
| Tue, 14 Dec 2010 14:31:31 +0000 | wu | Add new file for the new definition of the hard direction's simplification. | file | diff | annotate |