## pervasive-symbol.pkg
## (C) 2000 Lucent Technologies, Bell Laboratories
## Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
# Compiled by:
# src/app/makelib/makelib.sublib# Definition of a fake package symbol used to
# access the pervasive dictionary.
package pervasive_symbol {
#
pervasive_package_symbol
=
symbol::make_package_symbol "<Pervasive>";
};