schema_frame


INSTANCE schema_frame#4;
	corresponds_to = {schema_frame#5};
	name = "course_world";
	entities = {entity_type#188, entity_type#189, entity_type#190, entity_type#191, entity_type#192, entity_type#194, entity_type#193};
	defined_types = {defined_type#36};
	functions = {user_defined_function#2};
	the_model = model_frame#3; (* set indirectly *)
END_INSTANCE;

INSTANCE schema_frame#5;
	corresponds_to = {schema_frame#4};
	name = "course_world";
	entities = {entity_type#195, entity_type#196, entity_type#197, entity_type#198, entity_type#199, entity_type#201, entity_type#200};
	defined_types = {defined_type#37, defined_type#38};
	functions = {user_defined_function#3};
	the_model = model_frame#4; (* set indirectly *)
END_INSTANCE;