| Sat, 18 Nov 2006 00:20:12 +0100 | haftmann | adjustments for class package | changeset | files |
| Fri, 17 Nov 2006 17:32:30 +0100 | urbanc | added an intro lemma for freshness of products; set up | changeset | files |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | changeset | files |
| Fri, 17 Nov 2006 02:19:55 +0100 | wenzelm | 'notation': more robust 'and' list; | changeset | files |