- moved away Assembly / Policy / Signature - They are not really related to Infon anymore
Actually InfonTerm doesn't seem a good name now
- added a non-working UFOL engine to be based on Z3
↧