Compare revisions

95b6b0c0 · 95b6b0c0 · 95b6b0c0 · 95b6b0c0 · 95b6b0c0 · 95b6b0c0
--- a/tests/telescopes.ref
+++ b/tests/telescopes.ref
--- a/tests/telescopes.v
+++ b/tests/telescopes.v
--- a/tests/typeclasses.ref
+++ b/tests/typeclasses.ref
--- a/tests/typeclasses.v
+++ b/tests/typeclasses.v
--- a/tests/universes.ref
+++ b/tests/universes.ref
--- a/tests/universes.v
+++ b/tests/universes.v
--- a/theories/base.v
+++ b/theories/base.v
--- a/theories/bset.v
+++ b/theories/bset.v
--- a/theories/fin_collections.v
+++ b/theories/fin_collections.v
--- a/theories/fin_map_dom.v
+++ b/theories/fin_map_dom.v
--- a/theories/fin_maps.v
+++ b/theories/fin_maps.v
--- a/theories/gmap.v
+++ b/theories/gmap.v
--- a/theories/gmultiset.v
+++ b/theories/gmultiset.v
--- a/theories/listset_nodup.v
+++ b/theories/listset_nodup.v
--- a/theories/numbers.v
+++ b/theories/numbers.v
--- a/theories/pmap.v
+++ b/theories/pmap.v
--- a/theories/set.v
+++ b/theories/set.v
--- a/theories/strings.v
+++ b/theories/strings.v
No results found