HomePhabricator
Authored by makarius.

Description

merged

Details

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