Principales differences entre la version 2 et la version 3
==========================================================

1. 
La syntaxe utilisee pour les enonces(lecture et affichage) est la syntaxe TPTP
Exemples :
   qqs(X, qqs(Y, p(X,Y)))
   ilexiste(X, ilexiste(Y, p(X,Y)))
   A et B 
   A ou B
   non A
s'ecrivent maintenant
   ! [X,Y] : p(X,Y)
   ? [X,Y] : p(X,Y)
   A & B
   A | B
   ~ A

2.
Le symbole ":", utilise pour designer un objet a ete remplace par "::"
Exemple ;
   f(x):y
est maintenant ecrit
   f(x)::y

3.
On obtient, si possible, une demonstration composee des seules etapes utiles
- soit apres la recherche detaillee par la commande "tptp"
- soit sur la sortie standard par la commande "casc".

4.
La commande "th" n'a ete que partiellement maintenue.