-
Notifications
You must be signed in to change notification settings - Fork 4
/
NHol.sln
53 lines (53 loc) · 2.67 KB
/
NHol.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
Microsoft Visual Studio Solution File, Format Version 12.00
# Visual Studio 2012
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "NHol", "NHol\NHol.fsproj", "{389E2C7E-0C68-4AED-B185-BA777DE8E69E}"
EndProject
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = ".nuget", ".nuget", "{A4D22461-53F4-4971-8AC3-92BC50EEDF15}"
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}") = "NHol.Tests", "NHol.Tests\NHol.Tests.fsproj", "{BC5955AF-A558-4F95-B4FA-717C06936FC1}"
EndProject
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "Tutorial", "Tutorial", "{BD103954-9542-406C-8550-F77D06821792}"
ProjectSection(SolutionItems) = preProject
Tutorial\all.fsx = Tutorial\all.fsx
Tutorial\choiceWorkflow.fsx = Tutorial\choiceWorkflow.fsx
Tutorial\examples.fsx = Tutorial\examples.fsx
Tutorial\exploration.fsx = Tutorial\exploration.fsx
Tutorial\hol.fsx = Tutorial\hol.fsx
Tutorial\holBasics.fsx = Tutorial\holBasics.fsx
Tutorial\NLogExample.fsx = Tutorial\NLogExample.fsx
Tutorial\rewriting.fsx = Tutorial\rewriting.fsx
Tutorial\theorems_proofs.fsx = Tutorial\theorems_proofs.fsx
EndProjectSection
EndProject
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "PredicateCalculus", "PredicateCalculus", "{13BB3831-C90A-4C71-882B-62DD56E77169}"
ProjectSection(SolutionItems) = preProject
PredicateCalculus\MainWindow.xaml = PredicateCalculus\MainWindow.xaml
PredicateCalculus\ProofGUI1.fsx = PredicateCalculus\ProofGUI1.fsx
PredicateCalculus\Samples.fsx = PredicateCalculus\Samples.fsx
EndProjectSection
EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Debug|Any CPU = Debug|Any CPU
Release|Any CPU = Release|Any CPU
EndGlobalSection
GlobalSection(ProjectConfigurationPlatforms) = postSolution
{389E2C7E-0C68-4AED-B185-BA777DE8E69E}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{389E2C7E-0C68-4AED-B185-BA777DE8E69E}.Debug|Any CPU.Build.0 = Debug|Any CPU
{389E2C7E-0C68-4AED-B185-BA777DE8E69E}.Release|Any CPU.ActiveCfg = Release|Any CPU
{389E2C7E-0C68-4AED-B185-BA777DE8E69E}.Release|Any CPU.Build.0 = Release|Any CPU
{BC5955AF-A558-4F95-B4FA-717C06936FC1}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{BC5955AF-A558-4F95-B4FA-717C06936FC1}.Debug|Any CPU.Build.0 = Debug|Any CPU
{BC5955AF-A558-4F95-B4FA-717C06936FC1}.Release|Any CPU.ActiveCfg = Release|Any CPU
{BC5955AF-A558-4F95-B4FA-717C06936FC1}.Release|Any CPU.Build.0 = Release|Any CPU
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
EndGlobalSection
EndGlobal