Thu, 29 May 2014 14:39:19 +0100 | paulson | New theorems to enable the simplification of certain functions when applied to specific natural number constants (such as 4) | changeset | files |
Thu, 29 May 2014 16:13:47 +0200 | nipkow | removed Kleene_Algebra because of superior AFP entry; authors agreed | changeset | files |
Thu, 29 May 2014 11:11:22 +0200 | nipkow | typo | changeset | files |