more on 'udi' and angelic non-determinism; make some sentences less long
[web.git] / research / iris /
2020-08-31 Ralf Jungrename Iris workshop talk file to be more consistent
2020-08-31 Ralf Jungadd iris talks