title=OEF forall
description=collection of exercises on logic quantifiers.
author=XIAO Gang
address=xiao@unice.fr
copyright=&copy; 2002- (<a href=COPYING>GNU GPL</a>)
translator=
translator_address=
version=1.00
wims_version=3.37f
language=en
category=exercise, oef
level=H6, U1, U2
domain=logic
keywords=forall, quantifier, logical
require=
scoring=yes

vardef=oef/var.def
