Merge branch 'master' of git.fp.mpi-sws.org:nowbook

core_lang.v

iris_check.v

iris_core.v

iris_ht_rules.v

iris_meta.v

iris_plog.v

iris_vs_rules.v

lang.v

lib/ModuRes/CSetoid.v

lib/ModuRes/Finmap.v

lib/ModuRes/MetricCore.v

lib/ModuRes/Predom.v

lib/ModuRes/PreoMet.v

lib/ModuRes/RA.v

lib/ModuRes/RAMorph.v

lib/ModuRes/UPred.v