Commit 1414d845 authored by Ralf Jung's avatar Ralf Jung
Browse files

Merge branch 'fixpoint-tele_arg' into 'master'

Pick universes for [bi_tforall] and [bi_texist].

See merge request iris/iris!781
parents 7b9f809f 171768c4
Pipeline #65555 passed with stage
in 14 minutes and 10 seconds