ACTION-41: Do something about semantics description in chapter 4/5
Do something about semantics description in chapter 4/5
- State:
- open
- Person:
- Michael Kohlhase
- Due on:
- October 30, 2008
- Created on:
- October 23, 2008
- Related emails:
- No related emails
Related notes:
No additional notes.
Display change log.