Copyright (C) 1997 Miyuki Koshimura
====================================================
ǥưƥͣǣԣ

MGTP(Model Generation Theorem Prover)ϡǥˡ˴Ť쳬Ҹ
ƥǤܥƥϡMGTPޥɤMGTP
ޥɤʤޤƳեǥ󥰥å׵ǽˤ
ꡤʾ֤ṳ̂ޤ뤳ȤǤޤMGTPϡKLICǵҤ
ꡤKLICԤ͡ʥԥ塼ǲƯޤ


ڥǥ쥯ȥ깽

 |- Install	󥹥ȡμ
 |- Readme-E	ΥեαѸ
 |- Readme-J	Υե	
 |- documents/	ޥ˥奢ѥǥ쥯ȥ
 |- klic/	KLICΥեѥǥ쥯ȥ
 |- mg/		MGTPեѥǥ쥯ȥ
 |- sh/		륹ץѥǥ쥯ȥ
 |- tcl/	Tcl/Tkѥǥ쥯ȥ
 |- tptp/	TPTPѥǥ쥯ȥ

ڥǥ쥯ȥȥե
 |- documents/
 |	|- GUI.tex		ޥ˥奢Latexե()
 |	|- Install.tex		ޥ˥奢Latexե(Ͽ)
 |	|- Prepro.tex		ޥ˥奢Latexե()
 |	|- Prove.tex		ޥ˥奢Latexե()
 |	|- mgtp-disp-br1.ps	ޥ˥奢PostScriptե
 |	|- mgtp-disp-br2.ps	ޥ˥奢PostScriptե
 |	|- mgtp-disp-stdin.ps	ޥ˥奢PostScriptե
 |	|- mgtp-filem.ps	ޥ˥奢PostScriptե
 |	|- mgtp.tex		ޥ˥奢Latexե(ȥåץ٥)
 |	|- mgtpwm-up.ps		ޥ˥奢PostScriptե
 |
 |- klic/
 |	|- Makefile		󥹥ȡMakeե
 |- 	|- bin/			ޥɤ򥤥󥹥ȡ뤹ǥ쥯ȥ(ǥե)
 |	|- dom.kl1		domҸץ
 |	|- fm.kl1		եI/O桼ƥƥ
 |	|- fu_nhm1.kl1		եǥ󥰥å(FU)ǽMGTP(ѥ)
 |	|- intCDEMercNW.kl1	񴹤ǽMGTP(󥿥ץ꥿)
 |	|- intCMercNW.kl1	MGTP(󥿥ץ꥿)
 |	|- intMercNW.kl1	MGTP(󥿥ץ꥿)
 |	|- intMercNWFU.kl1	FUǽMGTP(󥿥ץ꥿)
 |	|- matchNW.kl1		ȹץ
 |	|- mercpat.kl1		MERCϢȹѥץ
 |	|- mg2klic.kl1		MGTPᢪKL1Ѵץ
 |	|- nhmdel.kl1		Ĺץ
 |	|- nhmfilter.kl1	ҥե륿(˾«Τ)
 |	|- nhmmode.kl1		NHMѥ⡼ɲϴ
 |	|- nhmtrans.kl1		NHMѴץ
 |	|- rangeCheck.kl1	ͰȽץ
 |	|- termMemoryG.kl1	ڥץ
 |	|- tptp2mgtp.kl1	TPTPMGTPѴץ
 |	|- unify.kl1		ñ첽ץ
 |	|- unifyNW.kl1		ñ첽ץ(wrap)
 |
 |- mg/
 |	|- MSC007-2.002.dmg	MGTPὸ(񴹤§)
 |	|- PUZ001-2.dmg		MGTPὸ(񴹤§)
 |	|- PUZ006-1.dmg		MGTPὸ(񴹤§)
 |	|- PUZ007-1.dmg		MGTPὸ(񴹤§)
 |	|- PUZ012-1.mg		MGTPὸ
 |	|- PUZ016-1.dmg		MGTPὸ(񴹤§)
 |	|- PUZ030-1.mg		MGTPὸ
 |	|- PUZ031-1.mg		MGTPὸ
 |	|- SYN005-1.010.mg	MGTPὸ
 |	|- SYN008-1.mg		MGTPὸ
 |	|- SYN009-1.mg		MGTPὸ
 |	|- SYN014-2.mg		MGTPὸ
 |	|- SYN070-1.mg		MGTPὸ
 |	|- SYN083-1.mg		MGTPὸ
 |	|- SYN101-1.002:002.mg	MGTPὸ
 |	|- SYN102-1.007:007.mg	MGTPὸ
 |	|- latin.mg		MGTPὸ
 |	|- latin1.mg		MGTPὸ
 |	|- latin1c.mg		CMGTPὸ
 |	|- queen.mg		MGTPὸ
 |	|- queen1.mg		MGTPὸ
 |	|- queen1c.mg		CMGTPὸ
 |
 |- sh/
 |	|- mgnhm		NHMѴ亮륹ץ
 |	|- rmirrelevant		Ĺ亮륹ץ
 |
 |- tcl/
 |	|- MGTPWMDIR/
 |	|	|- help/
 |	|	|	|- conp			إѥåե
 |	|	|	|- haba-fukasa		إѥåե
 |	|	|	|- int			إѥåե
 |	|	|	|- loose		إѥåե
 |	|	|	|- mode			إѥåե
 |	|	|	|- nhm			إѥåե
 |	|	|	|- time-out		إѥåե
 |	|	|	|- timer-samp		إѥåե
 |	|	|- mgtp-disp-br			GUIƥTcl/Tkץ
 |	|	|- mgtp-disp-file		GUIƥTcl/Tkץ
 |	|	|- mgtp-disp-stdin		GUIƥTcl/Tkץ
 |	|	|- mgtp-filem			GUIƥTcl/Tkץ
 |	|	|- mgtpwm			GUIƥTcl/Tkץ
 |	|	|- src/
 |	|	|	|- cmgtp.kl1		MGTP(ѥ)
 |	|	|	|- fu-with-nhm.kl1	FUǽMGTP(ѥ)
 |	|	|	|- fu.kl1		FUǽMGTP(ѥ)
 |	|	|	|- lmgtp.kl1		MGTP(ѥ)
 |	|	|	|- mgtp.kl1		MGTP(ѥ)
 |	|- mgtpwm				GUIƥTcl/Tkץ
 |
 |- tptp/
 |	|- EQU001-0.ax		TPTPե뤫黲Ȥե
 |	|- PUZ012-1.p		TPTP
 |	|- PUZ030-1.p		TPTP
 |	|- SYN009-1.p		TPTP
 |	|- SYN014-1.p		TPTP
 |	|- SYN014-2.p		TPTP

ʾ