| Wed, 28 Jun 2006 17:54:00 +0200 | webertj | world map now transparent | changeset | files |
| Wed, 28 Jun 2006 14:36:47 +0200 | haftmann | improvements in Classpackage | changeset | files |
| Wed, 28 Jun 2006 14:36:09 +0200 | haftmann | reduced code, better instance command | changeset | files |
| Wed, 28 Jun 2006 14:35:51 +0200 | haftmann | slight improvements in code generation | changeset | files |
| Wed, 28 Jun 2006 14:35:10 +0200 | haftmann | added lookup function for parameters | changeset | files |
| Wed, 28 Jun 2006 09:27:53 +0200 | paulson | disjunctive wellfoundedness | changeset | files |
| Tue, 27 Jun 2006 10:10:20 +0200 | haftmann | class package refinements, slight code generation refinements | changeset | files |
| 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 |
| Fri, 23 Jun 2006 10:48:34 +0200 | haftmann | added webmaster | changeset | files |
| Fri, 23 Jun 2006 09:55:01 +0200 | paulson | Introduction of Ramsey's theorem | changeset | files |