about summary refs log tree commit diff
path: root/doc/manual
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-06-28T13·51+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-06-28T13·51+0000
commit4d2946c516aefd26daec8b2f4c4248e43ce85a62 (patch)
treeee9939325dbee6ef039ed9acc035a724bf34ada4 /doc/manual
parent24286e15c9822833c39d268e521522b9933db28e (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