diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-06-28T13·51+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-06-28T13·51+0000 |
| commit | 4d2946c516aefd26daec8b2f4c4248e43ce85a62 (patch) | |
| tree | ee9939325dbee6ef039ed9acc035a724bf34ada4 /doc/manual | |
| parent | 24286e15c9822833c39d268e521522b9933db28e (diff) | |
* In a realisation goal, check the result of the corresponding
normalisation goal.
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions