Confluent relations
- Feb 10, 2019
-
-
Robbert Krebbers authored89454051
-
Robbert Krebbers authoredc73f285d
-
Robbert Krebbers authored
The name made no sense and it was not used anywhere to my knowledge. If it was used anywhere, it would be very unreliable as it contained hints like `rtc_trans` that would generally lead to loops.
51d69170
-