OBJ3 Papers

Three papers are included with this OBJ3 release:

• Introducing OBJ3's New Features by Timothy Winkler briefly summarized the features that were new to version 2.04 of OBJ3 [Winkler-NewFeatures]. This document is completely correct with respect to this release.
  

  [ "New Features" - Original LaTeX | DVI | Postscript | PDF ]

• OBJ3's Built-ins by Timothy Winkler and José Meseguer [WinklerMeseguer-Builtins]. This document discusses how to extend OBJ3.
  

  [ "Built-ins" - Original LaTeX | DVI | Postscript | PDF ]

• Introducing TRIM by Lutz Hamel [Hamel01]. This document summarizes the TRIM system.
  

  [ "TRIM" - Postscript ]