# HG changeset patch
# User paulson
# Date 864732207 -7200
# Node ID 3dac856935474b1f67b9c49fc21b8464c14f5ccf
# Parent  9112a2efb9a3eeee2a63e4c2f9a1b713c77d0c32
Removal of mask.sig and mask.sml

diff -r 9112a2efb9a3 -r 3dac85693547 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Tue May 27 13:22:30 1997 +0200
+++ b/src/HOL/IsaMakefile	Tue May 27 13:23:27 1997 +0200
@@ -15,7 +15,7 @@
 PROVERS = hypsubst.ML classical.ML blast.ML \
 	simplifier.ML splitter.ML nat_transitive.ML 
 
-TFL   = dcterm.sml mask.sig mask.sml post.sml rules.new.sml rules.sig \
+TFL   = dcterm.sml post.sml rules.new.sml rules.sig \
 	sys.sml tfl.sig tfl.sml thms.sig thms.sml thry.sig thry.sml   \
 	usyntax.sig usyntax.sml utils.sig utils.sml