equal
deleted
inserted
replaced
1 /* Title: Pure/Tools/sledgehammer_params.scala |
1 /* Title: Pure/Tools/sledgehammer_params.scala |
2 Author: Makarius |
2 Author: Makarius |
3 |
3 |
4 Protocol for Sledgehammer parameters from ML (see also |
4 Protocol for Sledgehammer parameters from ML (see also |
5 HOL/Tools/Sledgehammer/sledgehammer_isar.ML). */ |
5 HOL/Tools/Sledgehammer/sledgehammer_commands.ML). */ |
6 |
6 |
7 package isabelle |
7 package isabelle |
8 |
8 |
9 |
9 |
10 object Sledgehammer_Params |
10 object Sledgehammer_Params |