HomeIsabelle/Phabricator
Authored by paulson.

Description

merged

Details

Committed
paulsonTue, Sep 8, 4:30 PM
Parents
rISABELLEcbe7aa1c2bdc: tidying and de-applying
rISABELLE4b011fa5e83b: restructured
Branches
Unknown
Tags
Unknown

Event Timeline

Merged Changes

CommitAuthorDetailsCommitted
4b011fa5e83bflorian.haftmann
restructured 
Sep 8
eaac77208cf9florian.haftmann
tuned theory structure 
Sep 7
bb002df3e82eflorian.haftmann
more on conversions 
Sep 7
5a6d8675bf4bflorian.haftmann
generalized signed_take_bit 
Sep 5
bb88e31220afflorian.haftmann
more on conversions 
Sep 5
12e94c2ff6c5florian.haftmann
generalized 
Sep 5