Import SimLin and Verified Examples

_CoqProject

@@ -38,3 +38,20 @@ interfaces/Limits.v
 interfaces/Adjunctions.v
 interfaces/Monads.v
 interfaces/LiftMonad.v
+
+models/logics/SeparationAlgebra.v
+models/logics/Logics.v
+
+models/simlin/LTS.v
+examples/Specs.v
+
+models/simlin/Lang.v
+models/simlin/Semantics.v
+models/simlin/TPSimulation.v
+models/simlin/Assertion.v
+models/simlin/RGISimulation.v
+models/simlin/RGILogic.v
+
+models/simlin/TPSimulationSet.v
+models/simlin/RGISimulationSet.v
+models/simlin/RGILogicSet.v