Copyright (C) 1997 Yoshiki Kinoshita, Koichi Takahashi, Hidemoto Nakada, Ko Sakai


"A proof assistant with commutative diagram interface"


[File configuration]

welcome.html	Start file for this software.
		Please open this file on a java executable browser.
		You can execute this software,
                look at source files, usages and examples. (in Japanese)
example2.html	Main applet.
usage.html	Usage. (in Japanese)
nougaki.html	Purpose of this software. (in Japanese)
lists.html	List of source files.
cell.gif, fuse1.gif, fuse2.gif pictures for welcome.html.
Readme-E	This file.
Readme-J	Japanese version of this file.
specification   Specification of this software.

Source files:
Arc.java		DrawTest2.java		Namable.java
ArcPutable.java		DummyEvent.java		Node.java
ArcRect.java		DummyPlug.java		Pair.java
ArcsPutable.java	InputDialog.java	Path.java
BlinkArc.java		InputPanel.java		Prover.java
BlinkArcs.java		Interrupter.java	Putable.java
Cluster.java		Loop.java		RewindTick.java
DonePutable.java	LoopPutable.java	Rewinder.java
DrawControls.java	MessagePanel.java	Set.java
DrawPanel.java		MyParser.java		Tickable.java
DrawTest.java		MyPoint.java

Compiled files:
Arc.class		DrawTest2.class		Namable.class
ArcPutable.class	DummyEvent.class	Node.class
ArcRect.class		DummyPlug.class		Pair.class
ArcsPutable.class	InputDialog.class	Path.class
BlinkArc.class		InputPanel.class	Prover.class
BlinkArcs.class		Interrupter.class	Putable.class
Cluster.class		Loop.class		RewindTick.class
DonePutable.class	LoopPutable.class	Rewinder.class
DrawControls.class	MassagePanel.class	Set.class
DrawPanel.class		MyParser.class		Tickable.class
DrawTest.class		MyPoint.class		

end.
