HomeIsabelle/Phabricator
Authored by makarius.

Description

merged

Details

Merged Changes

CommitAuthorDetailsCommitted
e18e9ac8c205florian.haftmann
simp rules for conversions 
Jun 20
d45f5d4c41bdflorian.haftmann
more class operations for the sake of efficient generated code 
Jun 20