Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added lemma
  2. tuned signature;
  3. tuned signature (again);
Changeset 73442:855a3c18b9c8 by nipkow:
added lemma
The file was modified src/HOL/List.thy (diff)
Changeset 73441:f2167948157e by wenzelm:
tuned signature;
The file was modified src/HOL/Tools/ATP/system_on_tptp.scala (diff)
Changeset 73440:3696bb4085ed by wenzelm:
tuned signature (again);
The file was modified src/HOL/Tools/ATP/system_on_tptp.scala (diff)
The file was modified src/Pure/General/http.scala (diff)