Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper make_port for regular situation; tuned whitespace;
  2. clarified types -- proper default_port via make_port;
  3. proper nominal_port, notably for port forwarding;
  4. some additional lemmas and a little tidying up
  5. merged
  6. added lemma totalp_on_total_on_eq[pred_set_conv]
  7. added lemma reflp_on_empty[simp] and totalp_on_empty[simp]
  8. removed non-standard spaces in output
Changeset 75546:18b77e4387f3 by wenzelm:
proper make_port for regular situation;<br>tuned whitespace;
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 75545:218dd201e24d by wenzelm:
clarified types -- proper default_port via make_port;
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 75544:179a3b028b0a by wenzelm:
proper nominal_port, notably for port forwarding;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 75543:1910054f8c39 by paulson _lp15@cam.ac.uk_:
some additional lemmas and a little tidying up
The file was modified src/HOL/Complex.thy (diff)
The file was modified src/HOL/Real.thy (diff)
The file was modified src/HOL/Rings.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)
Changeset 75542:47abacd97f7b by desharna:
merged
Changeset 75541:a4fa039a6a60 by desharna:
added lemma totalp_on_total_on_eq[pred_set_conv]
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 75540:02719bd7b4e6 by desharna:
added lemma reflp_on_empty[simp] and totalp_on_empty[simp]
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 75539:2e8a2dc7a1e6 by nipkow:
removed non-standard spaces in output
The file was modified src/HOL/Hoare/Hoare_Syntax.thy (diff)