| 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 |
| Thu, 25 Nov 2010 18:54:45 +0000 | urbanc | added paper | file | diff | annotate |
| Wed, 03 Nov 2010 21:42:44 +0000 | urbanc | added initial slides for informal talk in Cambridge | file | diff | annotate |