forked from plclub/metalib
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path.depend
22 lines (22 loc) · 2.3 KB
/
.depend
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
AssocList.vo AssocList.glob AssocList.v.beautified: AssocList.v CoqFSetDecide.vo CoqListFacts.vo LibTactics.vo
CoqEqDec.vo CoqEqDec.glob CoqEqDec.v.beautified: CoqEqDec.v
CoqFSetDecide.vo CoqFSetDecide.glob CoqFSetDecide.v.beautified: CoqFSetDecide.v
CoqFSetInterface.vo CoqFSetInterface.glob CoqFSetInterface.v.beautified: CoqFSetInterface.v
CoqListFacts.vo CoqListFacts.glob CoqListFacts.v.beautified: CoqListFacts.v CoqUniquenessTac.vo
CoqUniquenessTac.vo CoqUniquenessTac.glob CoqUniquenessTac.v.beautified: CoqUniquenessTac.v
CoqUniquenessTacEx.vo CoqUniquenessTacEx.glob CoqUniquenessTacEx.v.beautified: CoqUniquenessTacEx.v CoqUniquenessTac.vo
FSetExtra.vo FSetExtra.glob FSetExtra.v.beautified: FSetExtra.v CoqFSetInterface.vo
FSetWeakNotin.vo FSetWeakNotin.glob FSetWeakNotin.v.beautified: FSetWeakNotin.v CoqFSetDecide.vo
LibDefaultSimp.vo LibDefaultSimp.glob LibDefaultSimp.v.beautified: LibDefaultSimp.v
LibLNgen.vo LibLNgen.glob LibLNgen.v.beautified: LibLNgen.v LibDefaultSimp.vo Metatheory.vo
LibTactics.vo LibTactics.glob LibTactics.v.beautified: LibTactics.v
MetatheoryAtom.vo MetatheoryAtom.glob MetatheoryAtom.v.beautified: MetatheoryAtom.v CoqFSetDecide.vo CoqListFacts.vo FSetExtra.vo FSetWeakNotin.vo LibTactics.vo
Metatheory.vo Metatheory.glob Metatheory.v.beautified: Metatheory.v AssocList.vo CoqEqDec.vo CoqListFacts.vo LibTactics.vo MetatheoryAtom.vo
AssumeList.vo AssumeList.glob AssumeList.v.beautified: AssumeList.v CoqFSetDecide.vo CoqListFacts.vo LibTactics.vo MetatheoryAtom.vo
MetatheoryAlt.vo MetatheoryAlt.glob MetatheoryAlt.v.beautified: MetatheoryAlt.v CoqEqDec.vo CoqListFacts.vo LibTactics.vo MetatheoryAtom.vo AssumeList.vo
Fsub_LetSum_Definitions.vo Fsub_LetSum_Definitions.glob Fsub_LetSum_Definitions.v.beautified: Fsub_LetSum_Definitions.v Metatheory.vo
Fsub_LetSum_Infrastructure.vo Fsub_LetSum_Infrastructure.glob Fsub_LetSum_Infrastructure.v.beautified: Fsub_LetSum_Infrastructure.v Fsub_LetSum_Definitions.vo
Fsub_LetSum_Lemmas.vo Fsub_LetSum_Lemmas.glob Fsub_LetSum_Lemmas.v.beautified: Fsub_LetSum_Lemmas.v Fsub_LetSum_Infrastructure.vo
Fsub_LetSum_Soundness.vo Fsub_LetSum_Soundness.glob Fsub_LetSum_Soundness.v.beautified: Fsub_LetSum_Soundness.v Fsub_LetSum_Lemmas.vo
CoqIntro.vo CoqIntro.glob CoqIntro.v.beautified: CoqIntro.v
STLCsol.vo STLCsol.glob STLCsol.v.beautified: STLCsol.v Metatheory.vo