Table of Contents


1.0	Introduction	3


2.0	Overview of Telos	3


3.0	Description of the Implementation	4


4.0	Interaction With Telos	5


5.0	A Note on Printing	7


6.0	Initialization	7


7.0	Tell	8


8.0	Ask	9


9.0	Tracing	10


10.0	Object Names and Strings	10


11.0	Theories	10


12.0	Assertion / Query Language	11


13.0	Propositions	13


14.0	Standard Predicates	13


15.0	History Times	14


16.0	Belief Times	15


17.0	Untell	15


18.0	Retrieve, Retell	15


19.0	Utilities	16


20.0	Loading Knowledge Bases	16


21.0	Dump and Restore	16


22.0	Meta-Rules	16


23.0	Graphical Browser	17


24.0	Generators	19


25.0	Defining Theorem Prover Primitives	20


26.0	Special Attribute Representations	21

