fol.NestedQuantifiers Class Reference

Static Public Member Functions
static void	main (String[] args)

Detailed Description

Definition at line 29 of file NestedQuantifiers.java.

---

The documentation for this class was generated from the following file:

• Source/src/fol/NestedQuantifiers.java