Changes

Summary

merged
Tidied up more ancient, horrible proofs. Liberalised frac_le
clarified signature: more uniform ML vs. Scala;
clarified names;
clarified names;

Changeset 71696:105d2d42a660 by paulson: merged
Changeset 71695:65489718f4dc by paulson _lp15@cam.ac.uk_: Tidied up more ancient, horrible proofs. Liberalised frac_le
The file was modified	`src/HOL/Fields.thy` (diff)
The file was modified	`src/HOL/Hilbert_Choice.thy` (diff)
Changeset 71694:16aa085f9353 by wenzelm: clarified signature: more uniform ML vs. Scala;
The file was modified	`src/Pure/Concurrent/isabelle_thread.ML` (diff)
The file was modified	`src/Pure/Concurrent/isabelle_thread.scala` (diff)
The file was modified	`src/Pure/Tools/debugger.ML` (diff)
Changeset 71693:f249b5c0fea2 by wenzelm: clarified names;
The file was modified	`src/Pure/Concurrent/isabelle_thread.ML` (diff)
The file was modified	`src/Pure/Concurrent/isabelle_thread.scala` (diff)
Changeset 71692:f8e52c0152fe by wenzelm: clarified names;
The file was added	`src/Pure/Concurrent/isabelle_thread.ML`
The file was added	`src/Pure/Concurrent/isabelle_thread.scala`
The file was modified	`src/HOL/Tools/Sledgehammer/async_manager_legacy.ML` (diff)
The file was modified	`src/Pure/Concurrent/consumer_thread.scala` (diff)
The file was modified	`src/Pure/Concurrent/event_timer.ML` (diff)
The file was modified	`src/Pure/Concurrent/future.ML` (diff)
The file was modified	`src/Pure/Concurrent/future.scala` (diff)
The file was modified	`src/Pure/Concurrent/timeout.ML` (diff)
The file was modified	`src/Pure/GUI/gui_thread.scala` (diff)
The file was modified	`src/Pure/General/file_watcher.scala` (diff)
The file was modified	`src/Pure/PIDE/headless.scala` (diff)
The file was modified	`src/Pure/PIDE/prover.scala` (diff)
The file was modified	`src/Pure/PIDE/session.scala` (diff)
The file was modified	`src/Pure/ROOT.ML` (diff)
The file was modified	`src/Pure/System/bash.ML` (diff)
The file was modified	`src/Pure/System/command_line.scala` (diff)
The file was modified	`src/Pure/System/message_channel.ML` (diff)
The file was modified	`src/Pure/Tools/debugger.ML` (diff)
The file was modified	`src/Pure/Tools/debugger.scala` (diff)
The file was modified	`src/Pure/Tools/server.scala` (diff)
The file was modified	`src/Pure/build-jars` (diff)
The file was modified	`src/Tools/Haskell/Haskell.thy` (diff)
The file was modified	`src/Tools/VSCode/src/server.scala` (diff)
The file was modified	`src/Tools/jEdit/src/active.scala` (diff)
The file was modified	`src/Tools/jEdit/src/jedit_editor.scala` (diff)
The file was modified	`src/Tools/jEdit/src/plugin.scala` (diff)
The file was modified	`src/Tools/jEdit/src/session_build.scala` (diff)
The file was removed	`src/Pure/Concurrent/standard_thread.ML`
The file was removed	`src/Pure/Concurrent/standard_thread.scala`