# This file is automatically generated by Modtool 3.37.
# Do not edit by hand.

title=OEF pourtout
description=collection d'exercices sur les quantificateurs logiques.
language=fr
category=exercise, oef
domain=logic
level=H6,U1,U2
keywords=forall, quantifier, logical, quantificateur
require=
scoring=yes
copyright=&copy; 2002- (<a href=COPYING>GNU GPL</a>) 2005
author=Bernadette Perrin-Riou
address=bpr@math.u-psud.fr
version=1.01
wims_version=3.36
vardef=oef/var.def
translator=
translator_address=

