DEFINITION VirtualDictionaries

(*
 *	Entwicklung objekt-orientierter Bibliotheken, Aufgabe 15
 *
 *	Abstraktion fuer Schein-Kopien grosser Dictionaries.
 *)
DEFINITION VirtualDictionaries;

   IMPORT Dictionaries;

   PROCEDURE Create(VAR dict: Dictionaries.Dictionary;
		     source: Dictionaries.Dictionary);

END VirtualDictionaries.