| Tue, 16 Oct 2007 23:12:45 +0200 |
haftmann |
global class syntax
|
file |
diff |
annotate
|
| Sat, 29 Sep 2007 08:58:51 +0200 |
haftmann |
proper syntax during class specification
|
file |
diff |
annotate
|
| Mon, 16 Jul 2007 21:26:35 +0200 |
krauss |
more proofs
|
file |
diff |
annotate
|
| Wed, 11 Jul 2007 11:27:46 +0200 |
berghofe |
Renamed accessible part for predicates to accp.
|
file |
diff |
annotate
|
| Tue, 19 Jun 2007 18:00:49 +0200 |
krauss |
generalized proofs so that call graphs can have any node type.
|
file |
diff |
annotate
|
| Thu, 14 Jun 2007 23:04:39 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
| Fri, 13 Apr 2007 21:26:35 +0200 |
wenzelm |
tuned document (headers, sections, spacing);
|
file |
diff |
annotate
|
| Tue, 20 Mar 2007 08:27:15 +0100 |
haftmann |
explizit "type" superclass
|
file |
diff |
annotate
|
| Fri, 16 Mar 2007 21:32:15 +0100 |
haftmann |
added "class"es
|
file |
diff |
annotate
|
| Sat, 10 Mar 2007 16:24:52 +0100 |
berghofe |
Adapted to changes in definition of SUP.
|
file |
diff |
annotate
|
| Wed, 28 Feb 2007 11:12:12 +0100 |
krauss |
added headers
|
file |
diff |
annotate
|
| Mon, 26 Feb 2007 21:34:16 +0100 |
krauss |
Added formalization of size-change principle (experimental).
|
file |
diff |
annotate
|