Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
verifying_pattern_matching_with_guards [2007/06/21 13:22] mirco.dotta |
verifying_pattern_matching_with_guards [2007/06/21 14:41] mirco.dotta |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| ===== Documents ===== | ===== Documents ===== | ||
| - | * slides for printing {{1xverify_pattern_matching.pdf|}} (without animation) | + | * slides for printing {{1xverify_pattern_matching1.1.pdf|}} (without animation) |
| - | * slides for presentation{{verify_pattern_matching.pdf|}} | + | * slides for presentation{{verify_pattern_matching1.1.pdf|}} |