HomeIsabelle/Phabricator
Authored by makarius.

Description

merged

Details

Committed
makariusNov 29 2019, 9:53 PM
Parents
rISABELLE592e2afdd50c: more informative spec rules: optional name;
rISABELLE6c208c2dca53: tuned
Branches
Unknown
Tags
Unknown

Event Timeline

Merged Changes

CommitAuthorDetailsCommitted
6c208c2dca53nipkow
tuned 
Nov 29 2019
a1e94be66bd6nipkow
reduced imports; deleted unusewd minor lemmas for that purpose 
Nov 29 2019
7fac205dd737nipkow
tuned 
Nov 29 2019
caede3159e23nipkow
reduced imports and removed unused material 
Nov 29 2019
575b3a818de5nipkow
tuned 
Nov 28 2019
a25b6f79043fnipkow
merged 
Nov 28 2019
57bc95d23491nipkow
reduced imports 
Nov 28 2019
df1d96114754paulson
Fixed a few messy proofs and adjusted inconsistent section headings 
Nov 28 2019
11e1e273eaadpaulson
A more informative comment 
Nov 28 2019