Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Summary

  1. added lemma
  2. Tiny additions inspired by Roth development
Changeset 74966:8a378e99d9a8 by nipkow:
added lemma
The file was modified src/HOL/List.thy
Changeset 74965:9469d9223689 by paulson _lp15@cam.ac.uk_:
Tiny additions inspired by Roth development
The file was modified src/HOL/GCD.thy
The file was modified src/HOL/Library/Nat_Bijection.thy
The file was modified src/HOL/Set_Interval.thy

Summary

  1. Tweaked some failing proofs
Changeset 12325:3e741a914079 by paulson _lp15@cam.ac.uk_:
Tweaked some failing proofs
The file was modified thys/Inductive_Inference/LIM_BC.thy
The file was modified thys/Inductive_Inference/Partial_Recursive.thy
The file was modified thys/Inductive_Inference/Universal.thy