HomeIsabelle/Phabricator
Authored by nipkow.

Description

merged

Details

Committed
nipkowDec 8 2019, 5:42 PM
Parents
rISABELLE4258ee13f5d4: moved lemmas
rISABELLEa9ad4a954cb7: merged
Branches
Unknown
Tags
Unknown

Event Timeline

Merged Changes

CommitAuthorDetailsCommitted
a9ad4a954cb7wenzelm
merged 
Dec 6 2019
a62431901140wenzelm
suppress record types: not working properly; 
Dec 6 2019
c5914bdd896bwenzelm
removed junk; 
Dec 6 2019
297d24fb262cwenzelm
discontinued somewhat pointless options; 
Dec 6 2019
bd93c71521a0wenzelm
tuned signature; 
Dec 6 2019
877316c54ed3wenzelm
clarified signature; 
Dec 6 2019
adf5e53d2b2bwenzelm
export datatypes; 
Dec 6 2019
6e0ff949073ewenzelm
clarified modules; 
Dec 6 2019
30db0523f9b0wenzelm
misc tuning and clarification: proper check of datatype kind; 
Dec 6 2019
e5664a75f4b5wenzelm
clarified modules; 
Dec 6 2019