Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tiny bit of extra restructuring
  2. some variable renaming
  3. tweaks esp renaming Rep_preal
  4. Massive restructuring; deleting unused theorems
  5. merged
  6. partial updating to eliminate ASCII style and some applys
Changeset 70202:373eb0aa97e3 by paulson _lp15@cam.ac.uk_:
tiny bit of extra restructuring
The file was modified src/HOL/ex/Tarski.thy (diff)
Changeset 70201:2e496190039d by paulson _lp15@cam.ac.uk_:
some variable renaming
The file was modified src/HOL/ex/Dedekind_Real.thy (diff)
Changeset 70200:81c1d043c230 by paulson _lp15@cam.ac.uk_:
tweaks esp renaming Rep_preal
The file was modified src/HOL/ex/Dedekind_Real.thy (diff)
Changeset 70199:b3630f5cc403 by paulson _lp15@cam.ac.uk_:
Massive restructuring; deleting unused theorems
The file was modified src/HOL/ex/Dedekind_Real.thy (diff)
Changeset 70198:ebd40fa4da8a by paulson:
merged
Changeset 70197:e383580ffc35 by paulson _lp15@cam.ac.uk_:
partial updating to eliminate ASCII style and some applys
The file was modified src/HOL/ex/Dedekind_Real.thy (diff)