Revision notes on ZDATR Version 1.1

Dafydd Gibbon

20.3.1997

 
• Contents
• ZDATR Version 1.1 revisions
• ZDATR semantics
  • Undefined paths
  • Semantics for variable/atom clashes
• General remarks
• About this document ...