| Sun, 21 Feb 2010 20:54:40 +0100 | wenzelm | simplified syntax -- to make it work for authentic syntax; | changeset | files |
| Sun, 21 Feb 2010 20:54:07 +0100 | wenzelm | modernized notation -- to make it work for authentic syntax; | changeset | files |
| Sun, 21 Feb 2010 20:53:50 +0100 | wenzelm | proper markup of const syntax; | changeset | files |
| Sat, 20 Feb 2010 23:23:04 +0100 | wenzelm | more precise dependencies; | changeset | files |
| Sat, 20 Feb 2010 16:20:38 +0100 | nipkow | added lemma | changeset | files |
| Sat, 20 Feb 2010 08:53:51 +0100 | nipkow | moved reduced Induct/SList back from AFP. | changeset | files |
| Sat, 20 Feb 2010 07:52:06 +0100 | haftmann | adjusted to changes in cs b987b803616d | changeset | files |