# $Id: authen.lemma.n3,v 1.19 2003/09/29 23:24:22 jderoo Exp $
# PxButton | test | java Euler authen.axiom authen.lemma |

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <authen#>.

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