theories/pretty.v · db08223ada9017975c5989da9d0907186410be47 · Arthur Azevedo de Amorim / stdpp

Forked from Iris / stdpp

2458 commits behind the upstream repository.

8 years ago

There is still the reals stuff, which is caused by importint Psatz (needed
for lia) and eq_rect_eq which is caused by importint Eqdep_dec.

b8b41bc5

Robbert Krebbers authored 8 years ago

There is still the reals stuff, which is caused by importint Psatz (needed
for lia) and eq_rect_eq which is caused by importint Eqdep_dec.

pretty.v 3.04 KiB