#	index for xmagic/help

file	xmagic/help/axioms.hlp

file	xmagic/help/axioms.ms

file	xmagic/help/connectives.hlp

file	xmagic/help/connectives.ms

file	xmagic/help/directory

file	xmagic/help/formulae.hlp

file	xmagic/help/formulae.ms

file	xmagic/help/index

file	xmagic/help/intro.hlp

file	xmagic/help/intro.ms

file	xmagic/help/logic.hlp

file	xmagic/help/logic.ms

file	xmagic/help/output.hlp

file	xmagic/help/output.ms