META-VAR : FLAVOR

META-VAR is a flavor.
A label which stands for a meta-variable.

TPS documentation homepage


META-VAR : TPS-FILE

META-VAR is a file.
Defines the META-VAR flavor for labels and some functions on them.
/home/theorem/tps/bin/meta-var.fasl is part of module METAWFFS.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage