diff options
| author | Emilio Jesus Gallego Arias | 2020-02-13 15:35:21 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-02-13 15:35:21 +0100 |
| commit | eb83c142eb33de18e3bfdd7c32ecfb797a640c38 (patch) | |
| tree | 279ecfcf59459e2601e88e911995d021f88c74b6 /theories/rtauto | |
| parent | e76b9da873d2e690e9dd24ed36ecec505676651e (diff) | |
| parent | 7ff035754c1b728ea0314c60d963ba3505898fe5 (diff) | |
Merge PR #11098: Let Arguments support anonymous implicit arguments
Reviewed-by: Zimmi48
Reviewed-by: ejgallego
Diffstat (limited to 'theories/rtauto')
0 files changed, 0 insertions, 0 deletions