Summary: Copyright Ó 2010 Carnegie Mellon University. All rights reserved.
This manual is based upon work supported by NSF grants MCS81­02870, DCR­8402532, CCR­8702699,
CCR­9002546, CCR­9201893, CCR­9502878, CCR­9624683, CCR­9732312, CCR­0097179, and a grant from the
Center for Design of Educational Computing, Carnegie Mellon University. Any opinions, findings, and conclusions
or recommendations are those of the author(s) and do not necessarily reflect the views of the National Science
Foundation.
TPS3 Facilities Guide
for Programmers and Users
2010 January 26
Peter Andrews
Sunil Issar
Dan Nesmith
Frank Pfenning
Hongwei Xi
Matthew Bishop
Chad E. Brown

1
1. Introduction
This document lists all commands, flags, etc. which are available in TPS. Each chapter lists the members of a

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

Collections: Mathematics