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
less more (0) -10 -3 tip