Parent-Version:      0.95
Version-Log:

source/ne.ml,mli:
source/value.ml,mli:
   (new files) put everything that is related to normal expressions
   and values in thoses 2 new modules.

source/ne.ml,mli:
source/gne.ml,mli:
   Make the normal expressions and the guarded normal expression abstract.

source/solver.ml:
   also fix a bug in the previous change (forgot to try make test ...)

Project-Description: Lurette