Document for FGCS'92 Demonstrations Documents P.66

MGTP Development Supporting Environment

P.66 Figure 1

System Configuration

P.66 Figure 2

Control Panel and Proof Tree Analyzer



					- 66 -