diff -r 7376008e7318 -r 7505b5e592b1 src/Pure/ML/ml_process.scala
--- a/src/Pure/ML/ml_process.scala	Mon Oct 20 13:29:52 2025 +0200
+++ b/src/Pure/ML/ml_process.scala	Mon Oct 20 14:38:15 2025 +0200
@@ -143,7 +143,6 @@
 Usage: isabelle process [OPTIONS]
 
   Options are:
-    -T THEORY    load theory
     -d DIR       include session directory
     -e ML_EXPR   evaluate ML expression on startup
     -f ML_FILE   evaluate ML file on startup
@@ -153,8 +152,6 @@
 
   Run the raw Isabelle ML process in batch mode.
 """,
-        "T:" -> (arg =>
-          eval_args = eval_args ::: List("--eval", "use_thy " + ML_Syntax.print_string_bytes(arg))),
         "d:" -> (arg => dirs = dirs ::: List(Path.explode(arg))),
         "e:" -> (arg => eval_args = eval_args ::: List("--eval", arg)),
         "f:" -> (arg => eval_args = eval_args ::: List("--use", arg)),