haftmann [Wed, 28 Jun 2006 14:35:51 +0200] rev 19956
slight improvements in code generation
haftmann [Wed, 28 Jun 2006 14:35:10 +0200] rev 19955
added lookup function for parameters
paulson [Wed, 28 Jun 2006 09:27:53 +0200] rev 19954
disjunctive wellfoundedness
haftmann [Tue, 27 Jun 2006 10:10:20 +0200] rev 19953
class package refinements, slight code generation refinements
haftmann [Tue, 27 Jun 2006 10:09:48 +0200] rev 19952
added class projection
haftmann [Tue, 27 Jun 2006 10:09:44 +0200] rev 19951
slight improvement
haftmann [Tue, 27 Jun 2006 10:09:39 +0200] rev 19950
replaced subgraph by project
wenzelm [Sat, 24 Jun 2006 22:54:37 +0200] rev 19949
fix/fixes: tuned type constraints;
wenzelm [Sat, 24 Jun 2006 22:25:31 +0200] rev 19948
minor tuning of definitions/proofs;
wenzelm [Sat, 24 Jun 2006 22:25:30 +0200] rev 19947
fixed translations for _MapUpd: CONST;