| 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 |
| Thu, 22 Jun 2006 18:48:25 +0200 | ballarin | Removed debugging code. | changeset | files |
| Thu, 22 Jun 2006 07:08:04 +0200 | ballarin | Improved handling of defines imported in duplicate. | changeset | files |
| Thu, 22 Jun 2006 05:16:15 +0200 | kleing | new standard dir structure | changeset | files |