Myhill.thy
Mon, 22 Aug 2011 12:49:27 +0000 urbanc changes according to afp-submission
Sun, 13 Feb 2011 10:36:53 +0000 zhang More into the second direction
Tue, 08 Feb 2011 12:01:28 +0000 zhang More explaination on equational system
Mon, 07 Feb 2011 13:08:09 +0000 zhang More into first direction
less more (0) -10 -4 tip