Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Tidying of old and ugly proofs
  2. deleted unused material
  3. A bit of tidying
Changeset 76340:fdb91b733b65 by paulson _lp15@cam.ac.uk_:
Tidying of old and ugly proofs
The file was modified src/HOL/Auth/Message.thy (diff)
The file was modified src/HOL/Metis_Examples/Message.thy (diff)
The file was modified src/HOL/SET_Protocol/Message_SET.thy (diff)
Changeset 76339:9e1fef7b4f29 by paulson _lp15@cam.ac.uk_:
deleted unused material
The file was modified src/HOL/Metis_Examples/Message.thy (diff)
Changeset 76338:e4fa45571bab by paulson _lp15@cam.ac.uk_:
A bit of tidying
The file was modified src/HOL/Auth/Message.thy (diff)
The file was modified src/HOL/SET_Protocol/Message_SET.thy (diff)