suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add hyperlink for "Eigenschaft".

Browse Source 
svn: r16559
This commit is contained in:
Mike Sperber 2009-11-05 14:58:21 +00:00
parent 693ba9b9e8
commit 22632b3963
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/deinprogramm/scribblings/DMdA-beginner.scrbl
View File

@ -338,7 +338,7 @@ wobei die Fehlermeldung der Zeichenkette entspricht, die der Wert des zweiten
@defform[(check-property expr)]{ @defform[(check-property expr)]{
Dieser Testfall überprüft experimentell, ob die Eigenschaft Dieser Testfall überprüft experimentell, ob die @tech{Eigenschaft}
@scheme[expr] erfüllt ist. Dazu werden zufällige Werte für die mit @scheme[expr] erfüllt ist. Dazu werden zufällige Werte für die mit
@scheme[for-all] quantifizierten Variablen eingesetzt: Damit wird @scheme[for-all] quantifizierten Variablen eingesetzt: Damit wird
überprüft, ob die Bedingung gilt. überprüft, ob die Bedingung gilt.