HomeIsabelle/Phabricator
Authored by makarius.

Description

merged

Details

Committed
makariusNov 5 2019, 10:56 PM
Parents
rISABELLE6ca9e8377613: proper names for multiple installations;
rISABELLE9858f391ed2d: merged
Branches
Unknown
Tags
Unknown

Event Timeline

Merged Changes

CommitAuthorDetailsCommitted
9858f391ed2dnipkow
merged 
Nov 5 2019
cb504351d058nipkow
tuned 
Nov 5 2019
2fab72ab919anipkow
moved duplicate lemmas up the hierarchy 
Nov 5 2019
400e9512f1d3haftmann
proof-of-concept theory for bit operations without a constructivistic… 
Nov 4 2019
fdb6c5034c24nipkow
merged 
Nov 5 2019
9d2753406c60nipkow
removed redundant lemma 
Nov 5 2019
ddd4aefc540fimmler
merged 
Nov 5 2019
bd3d4702b4f2immler
add lemmas 
Nov 5 2019
f630f2e707a6immler
refactor Approximation.thy to use more abstract type of intervals 
Nov 4 2019
dfcc1882d05aimmler
moved theory Interval_Approximation from the AFP 
Nov 4 2019
6fe5a0e1fa8eimmler
moved theory Interval from the AFP 
Oct 28 2019
e0755162093fimmler
replace approximation oracle by less ad-hoc @{computation}s 
Nov 4 2019
c1b63124245cnipkow
tuned 
Nov 5 2019