## author: Matthias Blume (blume@cs.princeton.edu)
# Compiled by:
# src/lib/core/makelib/makelib-tools-stuff.lib# Instantiating the tools library for makelib.
### "There are three kinds of people --
### Commonplace Men, Remarkable Men, and Lunatics."
###
### -- Mark Twain,
### Following the Equator
stipulate
package anchor_dictionary = anchor_dictionary;
package string = string;
herein
package tools
: Tools # Tools is from src/app/makelib/tools/main/public-tools.api =
makelib_internal::tools;
end;
## Copyright (c) 2000 by Lucent Bell Laboratories
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.