_CoqProject file for TLC

_CoqProject

-R src TLC

src/LibAxioms.v
src/LibContainerDemos.v
src/LibEnv.v
src/LibExec.v
src/LibFset.v
src/LibHeap.v
src/LibListExec.v
src/LibList.v
src/LibLogicCore.v
src/LibMin.v
src/LibNat.v
src/LibOption.v
src/LibPer.v
src/LibRelation.v
src/LibString.v
src/LibTactics.v
src/LibWf.v
src/LibBool.v
src/LibContainer.v
src/LibEpsilon.v
src/LibFixDemos.v
src/LibFun.v
src/LibIntTactics.v
src/LibListSort.v
src/LibListZ.v
src/LibLogic.v
src/LibMonoid.v
src/LibOld.v
src/LibOrder.v
src/LibProd.v
src/LibSet.v
src/LibSum.v
src/LibUnit.v
src/LibChoice.v
src/LibCore.v
src/LibEqual.v
src/LibFix.v
src/LibGraph.v
src/LibInt.v
src/LibListSub.v
src/LibLN.v
src/LibMap.v
src/LibMultiset.v
src/LibOperation.v
src/LibOtherDemos.v
src/LibReflect.v
src/LibStream.v
src/LibTacticsDemos.v
src/LibVar.v