| Tue, 27 Jun 2006 10:09:48 +0200 | haftmann | added class projection | changeset | files |
| Tue, 27 Jun 2006 10:09:44 +0200 | haftmann | slight improvement | changeset | files |
| Tue, 27 Jun 2006 10:09:39 +0200 | haftmann | replaced subgraph by project | changeset | files |
| Sat, 24 Jun 2006 22:54:37 +0200 | wenzelm | fix/fixes: tuned type constraints; | changeset | files |
| Sat, 24 Jun 2006 22:25:31 +0200 | wenzelm | minor tuning of definitions/proofs; | changeset | files |
| Sat, 24 Jun 2006 22:25:30 +0200 | wenzelm | fixed translations for _MapUpd: CONST; | changeset | files |
| Fri, 23 Jun 2006 13:42:19 +0200 | nipkow | beautification | changeset | files |