Tue Sep 18 15:29:01 2001:  :sandro!-sandro@65.96.186.115 JOIN :#joint-committee
Tue Sep 18 15:53:29 2001:  :boley!-boley@dfki-2004.dfki.uni-kl.de JOIN :#joint-committee
Tue Sep 18 15:55:30 2001:  :ora!-ora@PORT-205-8.tellink.net JOIN :#joint-committee
Tue Sep 18 16:00:50 2001:  :dlm!+dlm@deborah.Stanford.EDU JOIN :#joint-committee
Tue Sep 18 16:14:29 2001:  :ora!-ora@PORT-205-8.tellink.net QUIT :EOF From client
Tue Sep 18 16:27:40 2001:  :dlm!+dlm@deborah.Stanford.EDU PRIVMSG #joint-committee :http://www.ksl.stanford.edu/people/dlm/daml-semantics/daml-axioms-w3c-august2001.htm is the url for the axiomatic semantics with indentation
Tue Sep 18 16:36:56 2001:  :boley!-boley@dfki-2004.dfki.uni-kl.de PART #joint-committee :boley
Tue Sep 18 16:37:16 2001:  :dlm!+dlm@deborah.Stanford.EDU QUIT :
Wed Sep 19 10:36:00 2001:  :sandro!-sandro@65.96.186.115 QUIT :EOF From client