# $Id: authen.lemma.n3,v 1.15 2005/09/22 11:50:36 amdus Exp $
# PxButton | test   | java euler.EulerRunner authen.axiom.n3 authen.lemma.n3
# PxButton | test#  | Euler authen.axiom.n3 authen.lemma.n3
# PxButton | test#p | ilrun Euler authen.axiom.n3 authen.lemma.n3
# PxButton | test#m | mono Euler.exe authen.axiom.n3 authen.lemma.n3
# PxButton | cwm    | cwm authen.axiom.n3 authen.lemma.n3 --think

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/authen.axiom#>.

_:WHO :authenticated <mailto:w3c-ac-forum@w3.org/>.