$Id: README,v 1.7 2002/08/02 16:38:13 jderoo Exp $

Things are described in Notation3 thanks to Tim Berners-Lee and Dan Connolly.
  http://www.w3.org/2000/10/swap/
  http://www.w3.org/2000/10/swap/Primer.html
  http://www.w3.org/2000/10/swap/Examples.html

Usage
  Unzip euler.zip in [path] and place [path] in your classpath.
  java [-Dhttp_proxy=%http_proxy%] Euler [-think] [-trace] axiom ... lemma

Running the examples
  java Euler http://www.agfa.com/w3c/euler/graph.axiom.n3 http://www.agfa.com/w3c/euler/graph.lemma.n3
  should give the contents of http://www.agfa.com/w3c/euler/graph.proof.n3