-
Erwan Jahier authored
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
42c10bc1