Main Page
|
Namespace List
|
Class Hierarchy
|
Compound List
|
File List
|
Compound Members
|
File Members
|
Related Pages
ListSubstitution.cpp File Reference
#include "
ListSubstitution.hpp
"
Functions
ostream &
operator<<
(ostream &str,
ListSubstitution
&sbst)
Function Documentation
ostream& operator<<
(
ostream &
str
,
ListSubstitution
&
sbst
)
Generated on Sat Jun 28 15:08:58 2003 for Vampire by
1.3.2