-
Jacques-Henri Jourdan authored
* Values are considered as atomic expressions (this does not hurt, and this makes the proofs of atomicity simpler).
5529638a
* Values are considered as atomic expressions (this does not hurt, and this makes the proofs of atomicity simpler).