| Tue, 08 Aug 2000 14:15:24 +0200 | oheimb | moved Hoare_example to Examples; other minor improvements | file | diff | annotate |
| Fri, 14 Jul 2000 16:27:42 +0200 | oheimb | added fun_upd2_simproc | file | diff | annotate |
| Tue, 04 Jul 2000 14:04:56 +0200 | oheimb | disambiguated := ; added Examples (factorial) | file | diff | annotate |