Library Coq.Compat.Coq87
Compatibility file for making Coq act similar to Coq v8.7
Require Export Coq.Compat.Coq88.
Declare ML Module "omega_plugin".
Unset Omega UseLocalDefs.
Set Typeclasses Axioms Are Instances.
Declare ML Module "omega_plugin".
Unset Omega UseLocalDefs.
Set Typeclasses Axioms Are Instances.