deleted smlnj-1.09.ML;

--- a/src/Pure/IsaMakefile	Fri Dec 12 22:41:45 1997 +0100
+++ b/src/Pure/IsaMakefile	Fri Dec 12 22:43:10 1997 +0100
@@ -10,7 +10,7 @@
 OUT = $(ISABELLE_OUTPUT)
 
 FILES = ML-Systems/polyml.ML ML-Systems/smlnj-0.93.ML \
-	ML-Systems/smlnj-1.09.ML ROOT.ML Syntax/ROOT.ML Syntax/ast.ML \
+	ML-Systems/smlnj.ML ROOT.ML Syntax/ROOT.ML Syntax/ast.ML \
 	Syntax/lexicon.ML Syntax/mixfix.ML Syntax/parser.ML Syntax/pretty.ML \
 	Syntax/printer.ML Syntax/symbol_font.ML Syntax/syn_ext.ML \
 	Syntax/syn_trans.ML Syntax/syntax.ML Syntax/token_trans.ML \