- From: Joerg Siekmann <joerg.siekmann@dfki.de>
- Date: Mon, 02 Feb 2009 10:25:58 +0100
- To: acl2@cs.utexas.edu, ags-omega@ags.uni-sb.de, aiia@di.unito.it, aisb@cogs.sussex.ac.uk, asl@vassar.edu, CADEinc@cs.albany.edu, calculemus-ig@ags.uni-sb.de, caml-list@inria.fr, ccl@ps.uni-sb.de, clp@comp.nus.edu.sg, comlab@comlab.ox.ac.uk, complog@cs.nmsu.edu, compulognet-parimp@dia.fi.upm.es, coq-club@pauillac.inria.fr, event@in.tu-clausthal.de, fom@cs.nyu.edu, formal-methods@cs.uidaho.edu, ftp@logic.at, hol-info@lists.sourceforge.net, isabelle-users@cl.cam.ac.uk, kbcsl@uni-paderborn.de, kgs@logic.tuwien.ac.at, ki-inf@uni-koblenz.de, kr@kr.org, lfcs-interest@dcs.ed.ac.uk, lprolog@cs.umn.edu, mapledev@maplesoft.com, mathgroup@smc.vnet.net, members@fmeurope.org, mizar-forum@mizar.uwb.edu.pl, namkm@hygelac.cas.mcmaster.ca, nqthm-users@cs.utexas.edu, nuprl@cs.cornell.edu, om-announce@openmath.org, omdoc@mathweb.org, om@openmath.org, projects-mkm-ig@lists.iu-bremen.de, projects-mkm-trustees@lists.iu-bremen.de, pvs@csl.sri.com, rewriting@ens-lyon.fr, seworld@cs.colorado.edu, siksleden@cs.ruu.nl, sks-ma@dfki.de, SymbolicNet@mcs.kent.edu, theorem-provers@ai.mit.edu, vki-list@dfki.de, webmath@camel.math.ca, www-math@w3.org, zforum@prg.ox.ac.uk
Received on Monday, 2 February 2009 09:38:26 UTC