Thu, 27 Jan 2011 05:39:19 +0000 tuned a bit more the last STAR-proof
wu [Thu, 27 Jan 2011 05:39:19 +0000] rev 40
tuned a bit more the last STAR-proof
Thu, 27 Jan 2011 00:51:46 +0000 tuned a little bit the section about finite partitions
urbanc [Thu, 27 Jan 2011 00:51:46 +0000] rev 39
tuned a little bit the section about finite partitions
Wed, 26 Jan 2011 23:39:42 +0000 Delete generated
zhang [Wed, 26 Jan 2011 23:39:42 +0000] rev 38
Delete generated
Wed, 26 Jan 2011 22:58:24 +0000 ITP-Paper loads Myhill.thy
wu [Wed, 26 Jan 2011 22:58:24 +0000] rev 37
ITP-Paper loads Myhill.thy
Wed, 26 Jan 2011 22:51:51 +0000 added an itp entry to IsaMakefile; fixed problem with eqref; have not used heap file ListP
wu [Wed, 26 Jan 2011 22:51:51 +0000] rev 36
added an itp entry to IsaMakefile; fixed problem with eqref; have not used heap file ListP
Wed, 26 Jan 2011 22:23:56 +0000 made the theory work under both Isabelle 2009 and 2011
urbanc [Wed, 26 Jan 2011 22:23:56 +0000] rev 35
made the theory work under both Isabelle 2009 and 2011
(0) -30 -10 -6 +6 +10 +30 +100 +300 tip