EclipseWorld 2005
TPTP documents are provided under the Eclipse Foundation Software User Agreement.
|
Tutorials
|
Copyright © 2005 IBM Corporation, Intel Corporation, Scapa Technologies and others. This document and
the accompanying materials are made available under the terms of the Eclipse Public License v1.0 which is available
at http://www.eclipse.org/legal/epl-v10.html