Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Removal of mask.sig and mask.sml
authorpaulson
Tue, 27 May 1997 13:23:27 +0200
changeset 3354 3dac85693547
parent 3353 9112a2efb9a3
child 3355 0d955bcf8e0a
Removal of mask.sig and mask.sml
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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
isabelle