| 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 |
| Fri, 19 Feb 2010 22:37:43 +0100 | wenzelm | disabled some old (fragile) isatests; | changeset | files |
| Fri, 19 Feb 2010 22:31:58 +0100 | wenzelm | tuned settings; | changeset | files |
| Fri, 19 Feb 2010 22:29:30 +0100 | wenzelm | fixed document; | changeset | files |