Diffusion Isabelle 2735b11a3de8

merged
2735b11a3de8
Actions

Tags

None

Subscribers

None

Description

merged

Details

Provenance

Authored on

Parents

rISABELLEb61ad889dffa: removed old lemma names
rISABELLE602ddfb744b1: merged

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE2735b11a3de8: merged.Dec 26 2022, 2:04 PM

Merged Changes

602ddfb744b1 merged
Author
paulson
Browse Repository
No Builds
No Audits
addc7ff121e1 merged
Author
paulson
Browse Repository
No Builds
No Audits
04d7c8496b3d A few new Sup/Inf lemmas
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits
0438622a7b9c clarified messages;
Author
makarius
Browse Repository
No Builds
No Audits
40c8275f0131 tuned signature: follow terminology of VSCode_Resources;
Author
makarius
Browse Repository
No Builds
No Audits
540cd80c5af2 tuned signature;
Author
makarius
Browse Repository
No Builds
No Audits
235de80d4b25 tuned signature;
Author
makarius
Browse Repository
No Builds
No Audits
c654103e9c9d more robust Document.Pending_Edits: cover all nodes simulataneously, and thus…
Author
makarius
Browse Repository
No Builds
No Audits
10f155d5f34b update URL;
Author
makarius
Browse Repository
No Builds
No Audits
e9c48303ed11 clarified signature;
Author
makarius
Browse Repository
No Builds
No Audits
bb705a68b471 tuned;
Author
makarius
Browse Repository
No Builds
No Audits
d062c7f4f2d1 tuned;
Author
makarius
Browse Repository
No Builds
No Audits
9766a2a57182 tuned;
Author
makarius
Browse Repository
No Builds
No Audits
35f41096de36 tuned;
Author
makarius
Browse Repository
No Builds
No Audits
8fc7157485d8 tuned;
Author
makarius
Browse Repository
No Builds
No Audits
0d08ee0c1ea0 clarified signature: more explicit types;
Author
makarius
Browse Repository
No Builds
No Audits

Changes (1)

Path

Size

src/

HOL/

rISABELLE2735b11a3de8

src/HOL/Relation.thy

Loading...