FSharpx.Books.AutomatedReasoning.VS11.sln


Microsoft Visual Studio Solution File, Format Version 12.00
# Visual Studio 2012
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.VS11", "FSharpx.Books.AutomatedReasoning\FSharpx.Books.AutomatedReasoning.VS11.fsproj", "{CF42D6D9-75FD-4B6F-81CA-6DB9CB2231A3}"
EndProject
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "FSharpx.Books.AutomatedReasoning.Tests.VS11", "FSharpx.Books.AutomatedReasoning.Tests\FSharpx.Books.AutomatedReasoning.Tests.VS11.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