commit | 7c6d8e1b3d112421910db141543272f7d10df700 | [log] [tgz] |
---|---|---|
author | Daniel StrĂ¼ber <strueber@mathematik.uni-marburg.de> | Fri Sep 15 08:55:48 2017 -0500 |
committer | Daniel StrĂ¼ber <strueber@mathematik.uni-marburg.de> | Fri Sep 15 08:55:48 2017 -0500 |
tree | ba32e836087ebaa93534e17ad38ee14421084b3b | |
parent | 75f8e59e500e60fc5f47fe8a704e18762a6781ce [diff] |
Accomodate both empty and non-empty case of seq.unit applications Change-Id: I43071bc19b21b19200bfbca8741a8a33cc872941