Index of /~jnm/book/firstbook/ltsa/bin/lts

	Name	Last modified	Size	Description
	Parent Directory		-
	Alphabet.class	1998-12-23 19:58	1.8K
	Analyser.class	1998-12-23 19:58	9.8K
	ChoiceElement.class	1998-12-23 19:58	1.8K
	CompactState.class	1998-12-23 19:58	6.8K
	CompositeBody.class	1998-12-23 19:58	2.6K
	CompositeState.class	1998-12-23 19:58	1.8K
	CompositionExpression.class	1998-12-23 19:58	2.3K
	ConnectedComponent.class	1998-12-23 19:58	3.1K
	Counter.class	1998-12-23 19:58	410
	CounterExample.class	1998-12-23 19:58	1.8K
	Declaration.class	1998-12-23 19:58	769
	Diagnostics.class	1998-12-23 19:58	1.1K
	DrawWindow$KeyPress.class	1998-12-23 19:58	696
	DrawWindow.class	1998-12-23 19:58	7.7K
	EventClient.class	1998-12-23 19:58	200
	EventManager.class	1998-12-23 19:58	1.6K
	EventState.class	1998-12-23 19:58	5.1K
	EventStateEnumerator.class	1998-12-23 19:58	699
	Expression.class	1998-12-23 19:58	3.3K
	LTSCanvas.class	1998-12-23 19:58	5.6K
	LTSCompiler.class	1998-12-23 19:58	15K
	LTSEvent.class	1998-12-23 19:58	546
	LTSException.class	1998-12-23 19:58	379
	LTSInput.class	1998-12-23 19:58	241
	LTSOutput.class	1998-12-23 19:58	238
	LabelElement.class	1998-12-23 19:58	3.1K
	LabelSet.class	1998-12-23 19:58	2.0K
	Lex.class	1998-12-23 19:58	5.1K
	MenuDefinition.class	1998-12-23 19:58	1.1K
	Minimiser.class	1998-12-23 19:58	4.2K
	MyHash.class	1998-12-23 19:58	893
	MyHashEntry.class	1998-12-23 19:58	406
	PrefixTree.class	1998-12-23 19:58	3.7K
	ProcessRef.class	1998-12-23 19:58	3.2K
	ProcessSpec.class	1998-12-23 19:58	2.7K
	ProgressCheck.class	1998-12-23 19:58	4.0K
	ProgressDefinition.class	1998-12-23 19:58	1.8K
	ProgressTest.class	1998-12-23 19:58	1.5K
	Range.class	1998-12-23 19:58	640
	RelabelDefn.class	1998-12-23 19:58	1.7K
	Relation.class	1998-12-23 19:58	683
	RunMenu.class	1998-12-23 19:58	564
	StateDefn.class	1998-12-23 19:58	3.7K
	StateExpr.class	1998-12-23 19:58	3.1K
	StateMachine.class	1998-12-23 19:58	4.1K
	Symbol.class	1998-12-23 19:58	4.3K
	SymbolTable.class	1998-12-23 19:58	917
	Transition.class	1998-12-23 19:58	731
	Value.class	1998-12-23 19:58	1.0K