Package fol

Classes
class	ForAllFunctionSimple
class	NestedQuantifiers

Detailed Description

Author

sylvain