Diffusion Isabelle 50f18a822ee9

merged
50f18a822ee9
Actions

Tags

None

Subscribers

None

Description

merged

Details

Provenance

Authored on

Parents

rISABELLE4e6dc2868d5f: tuned
rISABELLE1dc2ad97e062: more informative error;

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rISABELLE50f18a822ee9: merged.Dec 11 2020, 5:58 PM

Merged Changes

1dc2ad97e062 more informative error;
Author
makarius
Browse Repository
No Builds
No Audits
220a094a42d8 proper else statement;
Author
makarius
Browse Repository
No Builds
No Audits
2fce0ce47627 tuned;
Author
makarius
Browse Repository
No Builds
No Audits
b3e9e9e4ff74 clarified session log file: avoid erratic messages;
Author
makarius
Browse Repository
No Builds
No Audits
80465b791f95 clarified messages;
Author
makarius
Browse Repository
No Builds
No Audits
313c281766cd clarified messages;
Author
makarius
Browse Repository
No Builds
No Audits
626fcaebd049 NEWS and documentation for "isabelle log";
Author
makarius
Browse Repository
No Builds
No Audits
847c6fb05a21 clarified messages;
Author
makarius
Browse Repository
No Builds
No Audits
2206502637e4 clarified types;
Author
makarius
Browse Repository
No Builds
No Audits
0ad513706a27 clarified Pretty.Metric, as for build errors;
Author
makarius
Browse Repository
No Builds
No Audits
530534f2f0fd clarified types;
Author
makarius
Browse Repository
No Builds
No Audits
17533d0a11b8 tuned;
Author
makarius
Browse Repository
No Builds
No Audits
8c468d602db1 clarified: omit presumably pointless Markup.Serial (see also 0b9334adcf05);
Author
makarius
Browse Repository
No Builds
No Audits
015a61936c13 clarified signature: more specific types;
Author
makarius
Browse Repository
No Builds
No Audits
90e28f005be9 tuned messages;
Author
makarius
Browse Repository
No Builds
No Audits
7b10b40b1273 clarified output of Isabelle symbols;
Author
makarius
Browse Repository
No Builds
No Audits
1d21b4c8023d tuned signature;
Author
makarius
Browse Repository
No Builds
No Audits
ebf72a3b8daa clarified file sources: take from build database instead of file-system;
Author
makarius
Browse Repository
No Builds
No Audits
612fbd881492 tuned;
Author
makarius
Browse Repository
No Builds
No Audits
a261946dafa3 tuned messages;
Author
makarius
Browse Repository
No Builds
No Audits

Changes (1)

Path

Size

src/

HOL/

Data_Structures/

rISABELLE50f18a822ee9

src/HOL/Data_Structures/Set2_Join.thy

Loading...