Library FreeSpec.Core.CoreFacts

From FreeSpec.Core Require Export
     Core
     Contract
     ImpureFacts
     SemanticsFacts
     Instrument
     InstrumentFacts
     Hoare
     HoareFacts
     ComponentFacts
     Tactics.

#[global]
Open Scope freespec_scope.