-
Notifications
You must be signed in to change notification settings - Fork 16
/
FSharpx.Books.AutomatedReasoning.VS10.sln
93 lines (93 loc) · 4.95 KB
/
FSharpx.Books.AutomatedReasoning.VS10.sln
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
Microsoft Visual Studio Solution File, Format Version 11.00
# Visual Studio 2010
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "FSharpx.Books.AutomatedReasoning.VS10", "FSharpx.Books.AutomatedReasoning\FSharpx.Books.AutomatedReasoning.VS10.fsproj", "{CF42D6D9-75FD-4B6F-81CA-6DB9CB2231A3}"
EndProject
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "Examples", "Examples", "{F3B5AF8C-FE04-4366-B04F-290C5F5519EB}"
ProjectSection(SolutionItems) = preProject
Examples\bdd.fsx = Examples\bdd.fsx
Examples\combining.fsx = Examples\combining.fsx
Examples\completion.fsx = Examples\completion.fsx
Examples\complex.fsx = Examples\complex.fsx
Examples\cong.fsx = Examples\cong.fsx
Examples\cooper.fsx = Examples\cooper.fsx
Examples\decidable.fsx = Examples\decidable.fsx
Examples\defcnf.fsx = Examples\defcnf.fsx
Examples\dp.fsx = Examples\dp.fsx
Examples\eqelim.fsx = Examples\eqelim.fsx
Examples\equal.fsx = Examples\equal.fsx
Examples\fol.fsx = Examples\fol.fsx
Examples\folderived.fsx = Examples\folderived.fsx
Examples\geom.fsx = Examples\geom.fsx
Examples\grobner.fsx = Examples\grobner.fsx
Examples\herbrand.fsx = Examples\herbrand.fsx
Examples\init_all.fsx = Examples\init_all.fsx
Examples\initialization.fsx = Examples\initialization.fsx
Examples\interpolation.fsx = Examples\interpolation.fsx
Examples\intro.fsx = Examples\intro.fsx
Examples\lcffol.fsx = Examples\lcffol.fsx
Examples\lcfprop.fsx = Examples\lcfprop.fsx
Examples\lib.fsx = Examples\lib.fsx
Examples\limitations.fsx = Examples\limitations.fsx
Examples\meson.fsx = Examples\meson.fsx
Examples\order.fsx = Examples\order.fsx
Examples\paramodulation.fsx = Examples\paramodulation.fsx
Examples\prolog.fsx = Examples\prolog.fsx
Examples\prop.fsx = Examples\prop.fsx
Examples\propexamples.fsx = Examples\propexamples.fsx
Examples\qelim.fsx = Examples\qelim.fsx
Examples\real.fsx = Examples\real.fsx
Examples\resolution.fsx = Examples\resolution.fsx
Examples\rewrite.fsx = Examples\rewrite.fsx
Examples\skolem.fsx = Examples\skolem.fsx
Examples\skolems.fsx = Examples\skolems.fsx
Examples\stal.fsx = Examples\stal.fsx
Examples\tableaux.fsx = Examples\tableaux.fsx
Examples\tactics.fsx = Examples\tactics.fsx
Examples\unif.fsx = Examples\unif.fsx
EndProjectSection
EndProject
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = ".nuget", ".nuget", "{2D15CC03-9404-4759-BF38-39159F3D85CD}"
ProjectSection(SolutionItems) = preProject
.nuget\NuGet.Config = .nuget\NuGet.Config
.nuget\NuGet.exe = .nuget\NuGet.exe
.nuget\NuGet.targets = .nuget\NuGet.targets
EndProjectSection
EndProject
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "FSharpx.Books.AutomatedReasoning.Tests.VS10", "FSharpx.Books.AutomatedReasoning.Tests\FSharpx.Books.AutomatedReasoning.Tests.VS10.fsproj", "{841B64FF-8F9D-4D0E-9D4F-CD23B12B102D}"
EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Debug|Any CPU = Debug|Any CPU
Debug|Mixed Platforms = Debug|Mixed Platforms
Debug|x86 = Debug|x86
Release|Any CPU = Release|Any CPU
Release|Mixed Platforms = Release|Mixed Platforms
Release|x86 = Release|x86
EndGlobalSection
GlobalSection(ProjectConfigurationPlatforms) = postSolution
{CF42D6D9-75FD-4B6F-81CA-6DB9CB2231A3}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{CF42D6D9-75FD-4B6F-81CA-6DB9CB2231A3}.Debug|Any CPU.Build.0 = Debug|Any CPU
{CF42D6D9-75FD-4B6F-81CA-6DB9CB2231A3}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
{CF42D6D9-75FD-4B6F-81CA-6DB9CB2231A3}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
{CF42D6D9-75FD-4B6F-81CA-6DB9CB2231A3}.Debug|x86.ActiveCfg = Debug|Any CPU
{CF42D6D9-75FD-4B6F-81CA-6DB9CB2231A3}.Release|Any CPU.ActiveCfg = Release|Any CPU
{CF42D6D9-75FD-4B6F-81CA-6DB9CB2231A3}.Release|Any CPU.Build.0 = Release|Any CPU
{CF42D6D9-75FD-4B6F-81CA-6DB9CB2231A3}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{CF42D6D9-75FD-4B6F-81CA-6DB9CB2231A3}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{CF42D6D9-75FD-4B6F-81CA-6DB9CB2231A3}.Release|x86.ActiveCfg = Release|Any CPU
{841B64FF-8F9D-4D0E-9D4F-CD23B12B102D}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{841B64FF-8F9D-4D0E-9D4F-CD23B12B102D}.Debug|Any CPU.Build.0 = Debug|Any CPU
{841B64FF-8F9D-4D0E-9D4F-CD23B12B102D}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
{841B64FF-8F9D-4D0E-9D4F-CD23B12B102D}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
{841B64FF-8F9D-4D0E-9D4F-CD23B12B102D}.Debug|x86.ActiveCfg = Debug|Any CPU
{841B64FF-8F9D-4D0E-9D4F-CD23B12B102D}.Release|Any CPU.ActiveCfg = Release|Any CPU
{841B64FF-8F9D-4D0E-9D4F-CD23B12B102D}.Release|Any CPU.Build.0 = Release|Any CPU
{841B64FF-8F9D-4D0E-9D4F-CD23B12B102D}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{841B64FF-8F9D-4D0E-9D4F-CD23B12B102D}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{841B64FF-8F9D-4D0E-9D4F-CD23B12B102D}.Release|x86.ActiveCfg = Release|Any CPU
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
EndGlobalSection
EndGlobal