/*
**	xmagic.h
**
*/

#define NO_OF_AXIOMS	23
#define BUILT_IN_AXIOMS 18
#define DEF_AXIOMS	5	/* NO_OF_AXIOMS - BUILT_IN_AXIOMS */
#define NO_OF_FRAGMENTS	9

extern void	send_to_magic ();
extern int	receive_all ();
extern Widget	global_file_dialog, the_global_shell, the_global_pop_up,
		global_axiom_dialog, global_axiom_widget [5],
		global_mat_no_dialog, global_max_mat_dialog,
		global_time_dialog, the_global_help_pop_up,
		global_axiom_button, global_help_button;
char 	 	*axiom [NO_OF_AXIOMS];
extern int	last_state [NO_OF_AXIOMS];