-
Daniel Ratiu authored
maturing the translation of user defined functions from a data dictionary into NuSMV - now it looks ok refs 823
7ab4ebdc
maturing the translation of user defined functions from a data dictionary into NuSMV - now it looks ok refs 823