help.cpp

一个基于H.wang的谓词演算公式的机器证明的vc实现

// help.cpp : implementation file
//

#include "stdafx.h"
#include "推理机.h"
#include "help.h"


// help dialog

IMPLEMENT_DYNAMIC(help, CDialog)

help::help(CWnd* pParent /*=NULL*/)
	: CDialog(help::IDD, pParent)
{

}

help::~help()
{
}

void help::DoDataExchange(CDataExchange* pDX)
{
	CDialog::DoDataExchange(pDX);
}


BEGIN_MESSAGE_MAP(help, CDialog)
END_MESSAGE_MAP()


// help message handlers